- The Lean mathematical library The mathlib Community Tue 29 October 2019
- MSO-Definable Regular Model Checking Vrunda Dave Taylor Dohmen Shankara Narayana Krishna Ashutosh Trivedi Tue 29 October 2019
- Residual Nominal Automata Joshua Moerman Matteo Sammartino Mon 28 October 2019
- An application of games to the completeness problem for formalized theories A. Ehrenfeucht Sun 27 October 2019
- Computational Complexity of Ehrenfeucht-Fraissé Games on Finite Structures Elena Pezzoli Sat 26 October 2019
- Equivalence in finite-variable logics is complete for polynomial time Martin Grohe Sat 26 October 2019
- On complexity of Ehrenfeucht--Fraissé games Bakhadyr Khoussainov Jiamou Liu Sat 26 October 2019
- Fifty years of Hoare's Logic Krzysztof R. Apt Ernst-Ruediger Olderog Fri 25 October 2019
- An operational interpretation of coinductive types Łukasz Czajka Fri 25 October 2019
- A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra Mikołaj Bojańczyk Bartek Klin Fri 25 October 2019
- Metamath Zero: The Cartesian Theorem Prover Mario Carneiro Fri 25 October 2019
- Synthesis with finite automata Igor Walukiewicz Fri 25 October 2019
- Supervisory control of discrete-event systems: A brief history W.M. Wonham Kai Cai Karen Rudie Fri 25 October 2019
- The control of discrete event systems P. J. G. Ramadge W. M. Wonham Fri 25 October 2019
- Learning One-Clock Timed Automata Jie An Mingshuai Chen Bohua Zhan Naijun Zhan Miaomiao Zhang Thu 24 October 2019
- Complexity Results on Register Pushdown Automata Ryoma Senda Yoshiaki Takata Hiroyuki Seki Thu 24 October 2019
- The Discovery of My Completeness Proofs Leon Henkin Tue 22 October 2019
- The Compactness Theorem in Mathematical Logic Jean E. Rubin Mon 21 October 2019
- thmtools N/A Mon 21 October 2019
- A Curry-Howard Approach to Church's Synthesis Pierre Pradic Colin Riba Fri 18 October 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
