- An Unsolvable Problem of Elementary Number Theory Alonzo Church Thu 11 July 2019
- A Survey of Arithmetical Definability Alexis Bès Thu 11 July 2019
- Proof Nets for Bi-Intuitionistic Linear Logic Gianluigi Bellin Willem B. Heijltjes Thu 11 July 2019
- Cyclic Arithmetic Is Equivalent to Peano Arithmetic Alex Simpson Thu 11 July 2019
- On the logical complexity of cyclic arithmetic Anupam Das Thu 11 July 2019
- New ways to multiply 3 x 3-matrices Marijn J. H. Heule Manuel Kauers Martina Seidl Thu 11 July 2019
- From LCF to Isabelle/HOL Lawrence C. Paulson Tobias Nipkow Makarius Wenzel Tue 09 July 2019
- From LTL to Unambiguous Btextbackslash''uchi Automata via Disambiguation of Alternating Automata Simon Jantsch David Muller Christel Baier Joachim Klein Tue 09 July 2019
- A Sound Algorithm for Asynchronous Session Subtyping (extended version) Mario Bravetti Marco Carbone Julien Lange Nobuko Yoshida Gianluigi Zavattaro Tue 09 July 2019
- Minimizing GFG Transition-Based Automata Bader Abu Radi Orna Kupferman Tue 09 July 2019
- Probabilistic Context-Free Grammars (PCFGs) Michael Collins Tue 09 July 2019
- On Higher-Order Probabilistic Subrecursion (Long Version) Flavien Breuvart Ugo Dal Lago Agathe Herrou Tue 09 July 2019
- Revisiting local time semantics for networks of timed automata R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Tue 09 July 2019
- What's decidable about parametric timed automata Étienne André Tue 09 July 2019
- Computing Probabilistic Bisimilarity Distances for Probabilistic Automata Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare Qiyi Tang Franck van Breugel Tue 09 July 2019
- Timed Basic Parallel Processes Lorenzo Clemente Piotr Hofman Patrick Totzke Wed 03 July 2019
- Algorithms in Real Algebraic Geometry: A Survey Saugata Basu Sat 29 June 2019
- On the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond Paul C. Bell Igor Potapov Pavel Semukhin Fri 28 June 2019
- Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmuller Edward N. Zalta Fri 28 June 2019
- Good for Games Automata: From Nondeterminism to Alternation Udi Boker Karoliina Lehtinen Fri 28 June 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
