- Lawrence C. Paulson:
Ackermann's Function Is Not Primitive Recursive. Arch. Formal Proofs 2022 (2022) - Martin Raszyk:
Multi-Head Monitoring of Metric Dynamic Logic. Arch. Formal Proofs 2022 (2022) - Martin Raszyk:
First-Order Query Evaluation. Arch. Formal Proofs 2022 (2022) - Martin Raszyk, Dmitriy Traytel:
Making Arbitrary Relational Calculus Queries Safe-Range. Arch. Formal Proofs 2022 (2022) - Robert Sachtleben:
Verified Complete Test Strategies for Finite State Machines. Arch. Formal Proofs 2022 (2022) - Eugene W. Stark:
Residuated Transition Systems. Arch. Formal Proofs 2022 (2022) - Lukas Stevens, Bernhard Stöckl:
Verification of Query Optimization Algorithms. Arch. Formal Proofs 2022 (2022) - Ujkan Sulejmani, Manuel Eberl, Katharina Kreuzer:
The Hales-Jewett Theorem. Arch. Formal Proofs 2022 (2022) - René Thiemann:
Duality of Linear Programming. Arch. Formal Proofs 2022 (2022) - René Thiemann:
Clique is not solvable by monotone circuits of polynomial size. Arch. Formal Proofs 2022 (2022) - René Thiemann, Lukas Schmidinger:
The Generalized Multiset Ordering is NP-Complete. Arch. Formal Proofs 2022 (2022) - Balázs Tóth, Tobias Nipkow:
Real-Time Double-Ended Queue. Arch. Formal Proofs 2022 (2022)
