- A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné Thu 08 April 2021
- Computing with infinitary logic Serge Abiteboul Moshe Y. Vardi Victor Vianu Wed 07 April 2021
- Why Liveness for Timed Automata Is Hard, and What We Can Do About It Frédéric Herbreteau B. Srivathsan Thanh-Tung Tran Igor Walukiewicz Wed 07 April 2021
- Finite-State Unification Automata and Relational Languages Y. Shemesh N. Francez Wed 07 April 2021
- Finite-memory automata M. Kaminski N. Francez Wed 07 April 2021
- Active learning for extended finite state machines Sofia Cassel Falk Howar Bengt Jonsson Bernhard Steffen Tue 06 April 2021
- RALib : A LearnLib extension for inferring EFSMs Sofia Cassel Howar Falk Bengt Jonsson Tue 06 April 2021
- DEQ: Equivalence Checker for Deterministic Register Automata A. S. Murawski S. J. Ramsay N. Tzevelekos Tue 06 April 2021
- Polynomial-Time Algorithms for Permutation Groups Merrick Furst John Hopcroft Eugene Luks Tue 06 April 2021
- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages Bartek Klin Sławomir Lasota Szymon Toruńczyk Tue 06 April 2021
- Finite State Machines for Strings over Infinite Alphabets Frank Neven Thomas Schwentick Victor Vianu Tue 06 April 2021
- Aperiodic two-way transducers and FO-transductions Olivier Carton Luc Dartois Sun 04 April 2021
- Disentangling Parallelism and Interference in Game Semantics Simon Castellan Pierre Clairambault Sun 04 April 2021
- Computing Parameterized Invariants of Parameterized Petri Nets Javier Esparza Mikhail Raskin Christoph Welzel Sun 04 April 2021
- Quasipolynomial Computation of Nested Fixpoints Daniel Hausmann Lutz Schrøder Sun 04 April 2021
- Idris 2: Quantitative Type Theory in Practice Edwin Brady Sun 04 April 2021
- Summation in Finite Terms Michael Karr Fri 02 April 2021
- Theory of Summation in Finite Terms Michael Karr Fri 02 April 2021
- Grøbner bases of lattices, corner polyhedra, and integer programming. Bernd Sturmfels Robert Weismantel Gunter M. Ziegler Fri 02 April 2021
- Grøbner Bases and Integer Programming Gunter M. Ziegler Fri 02 April 2021
Library Size: 13G (12951 entries),
Last Updated: Apr 13, 2026, 09:28:01,
Build Time: N/A
