- Nominal techniques as an Agda library Murdoch J. Gabbay Orestis Melkonian Sat 07 March 2026
- Complete First-Order Game Logic Noah Abou El Wafa André Platzer Fri 11 April 2025
- Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof Manfred Borzechowski Malvin Gattinger Helle Hvid Hansen Revantha Ramanayake Valentina Trucco Dalmas Yde Venema Sat 05 April 2025
- Multi-Structural Games and Beyond Marco Carmosino Ronald Fagin Neil Immerman Phokion Kolaitis Jonathan Lenchner Rik Sengupta Tue 10 December 2024
- mathbbN-polyregular functions arise from well-quasi-orderings Aliaume Lopez Fri 18 October 2024
- Axiomatization of Compact Initial Value Problems: Open Properties André Platzer Long Qian Fri 18 October 2024
- Modal Separability of Fixpoint Formulae Jean Christoph Jung Jędrzej Kołodziejski Fri 07 June 2024
- The Relational Machine Calculus Chris Barrett Daniel Castle Willem Heijltjes Wed 22 May 2024
- Dynamic Logics of Dynamical Systems André Platzer Fri 01 September 2023
- Fermat's Last Theorem for regular primes Alex J. Best Christopher Birkbeck Riccardo Brasca Eric Rodriguez Boidi Wed 24 May 2023
- Pseudorandom Finite Models Jan Dreier Jamie Tucker-Foltz Fri 28 April 2023
- Zone-based verification of timed automata: extrapolations, simulations and what next Patricia Bouyer Paul Gastin Frédéric Herbreteau Ocan Sankur B. Srivathsan Thu 21 July 2022
- Deductive Stability Proofs for Ordinary Differential Equations Yong Kiam Tan André Platzer Fri 30 October 2020
- Reachability for Updatable Timed Automata made faster and more effective Paul Gastin Sayan Mukherjee B Srivathsan Wed 07 October 2020
- Ambiguity Hierarchy of Regular Infinite Tree Languages Alexander Rabinovich Doron Tiferet Sat 12 September 2020
- Implicit automata in typed łambda-calculi II: streaming transducers vs categorical semantics Nguyên Thành Dũng Lê Camille Noûs Pierre Pradic Tue 04 August 2020
- Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals Alessandro Artale Jean Christoph Jung Andrea Mazzullo Ana Ozaki Frank Wolter Wed 08 July 2020
- Living without Beth and Craig: Explicit Definitions and Interpolants in the Guarded Fragment Jean Christoph Jung Frank Wolter Mon 06 July 2020
- Mathematical Logic in Computer Science Assaf Kfoury Sun 23 February 2020
- The Weisfeiler-Leman Dimension of Planar Graphs is at most 3 S. Kiefer I. Ponomarenko P. Schweitzer Thu 06 September 2018
Library Size: 13G (20 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
