Schlussfeier BBZN Hohenrain: Erfolg trotz erschwerter Bedingungen bauernzeitung.ch - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from bauernzeitung.ch Daily Mail and Mail on Sunday newspapers.
external directory. You have to run
make deps again after this.
Published work and technical reports
Hilbert’s Tenth Problem in Coq. Dominique Larchey-Wendling and Yannick Forster. Technical report. Subdirectory
H10. https://uds-psl.github.io/H10
L. https://github.com/uds-psl/certifying-extraction-with-time-bounds
Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines. Yannick Forster and Dominique Larchey-Wendling. CPP ‘19. Subdirectory
ILL. http://uds-psl.github.io/ill-undecidability/
On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem. Yannick Forster, Dominik Kirst, and Gert Smolka. CPP ‘19. Subdirectory
FOL. https://www.ps.uni-saarland.de/extras/fol-undec
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine. Fabian Kunze, Gert Smolka, and Yannick Forster. APLAS 2018. Subdirectory