Undecidability of dyadic first-order logic in Coq
The work
| Title | Undecidability of dyadic first-order logic in Coq |
|---|---|
| Authors | Johannes Hostert; Andrej Dudenhefner; Dominik Kirst |
| Type | conference paper |
| Year | 2022 |
| Citekey | hostert2022undecidability |
Where it appeared
| Published in | 13th International Conference on Interactive Theorem Proving (ITP) |
|---|---|
| Publisher | Schloss Dagstuhl-Leibniz-Zentrum für Informatik |
Where this came from
| How it got here | the agent went looking · found via bibtex |
|---|---|
| First seen | 2026-08-05 |
| Standing | endorsed |
| Approved | 2026-08-07 |
In: LIPIcs
series
Cite it as
@inproceedings{hostert2022undecidability,
title = {Undecidability of dyadic first-order logic in Coq},
author = {Johannes Hostert and Andrej Dudenhefner and Dominik Kirst},
year = {2022},
booktitle = {13th International Conference on Interactive Theorem Proving (ITP)},
publisher = {Schloss Dagstuhl-Leibniz-Zentrum für Informatik},
}
This record lives at https://refs.drheap.org/hostert2022undecidability/ and will keep doing so.