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, Incompleteness, and Completeness of Second-Order Logic in Coq (pdf) Mark Koch, Dominik Kirst Certified Programs and Proofs (CPP), January 17-18, 2022, Philadelphia, Pennsylvania, U.S.A.
Login to edit
