Select author: all Bodirsky, ManuelBotlan, DidierBrown, ChadBrunklaus, ThorstenDebusmann, RalphDoczkal, ChristianDuchier, DenysDudenhefner, AndrejErk, KatrinForster, YannickHenz, MartinKaiser, JonasKaminski, MarkKirst, DominikKornstaedt, LeifKuhlmann, MarcoKunze, FabianLichter, MoritzMehl, MichaelMöhl, MathiasMüller, MartinMüller, TobiasNiehren, JoachimPriesnitz, TimRossberg, AndreasSchäfer, StevenScheidhauer, RalfSchneider, SigurdSchwinghammer, JanSmolka, GertStark, KathrinStraßburger, LutzTack, GuidoTebbi, TobiasTreinen, RalfWalser, JoachimWürtz, Jörg
Undecidability of Dyadic First-Order Logic in Coq (pdf) Johannes Hostert, Andrej Dudenhefner, Dominik Kirst 13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel
Login to edit
