- Non-Homogenizable Classes of Finite Structures Albert Atserias Szymon Toruńczyk Fri 07 June 2019
- On the complexity of algebraic numbers I. Expansions in integer bases Boris Adamczewski Yann Bugeaud Sat 01 June 2019
- On the complexity of algebraic numbers, II. Continued fractions Boris Adamczewski Yann Bugeaud Sat 01 June 2019
- Inductive Methods for Proving Properties of Programs Zohar Manna Stephen Ness Jean Vuillemin Sat 01 June 2019
- A Program for Solving Word Sum Puzzles R. M. Burstall Sat 01 June 2019
- Proving Properties of Programs by Structural Induction R. M. Burstall Sat 01 June 2019
- Program Proving as Hand Simulation with a Little Induction Rod M. Burstall Sat 01 June 2019
- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases Bernard Boigelot Julien Brusten Veronique Bruyere Fri 31 May 2019
- Polyregular Functions Mikołaj Bojańczyk Fri 31 May 2019
- Towards Finding Longer Proofs Zsolt Zombori Adrián Csiszárik Henryk Michalewski Cezary Kaliszyk Josef Urban Fri 31 May 2019
- String-to-String Interpretations with Polynomial-Size Output Mikołaj Bojańczyk Sandra Kiefer Nathan Lhote Fri 31 May 2019
- Classes of languages and linear-bounded automata S.-Y. Kuroda Thu 30 May 2019
- Three theorems on phrase structure grammars of type 1 Peter S. Landweber Thu 30 May 2019
- On the Containment Problem for Unambiguous Single-Register Automata with Guessing Antoine Mottet Karin Quaas Thu 30 May 2019
- On counting functions and slenderness of languages Oscar H. Ibarra Ian McQuillan Bala Ravikumar Tue 28 May 2019
- On the Generating Functions of Languages Accepted by Deterministic One-reversal Counter Machines Paolo Massazza Tue 28 May 2019
- The Inclusion Problem for Unambiguous Rational Trace Languages Paolo Massazza Tue 28 May 2019
- On a class of languages with holonomic generating functions Giusi Castiglione Paolo Massazza Tue 28 May 2019
- Verifying Asynchronous Interactions via Communicating Session Automata Julien Lange Nobuko Yoshida Tue 28 May 2019
- A new coinductive confluence proof for infinitary lambda calculus Łukasz Czajka Tue 28 May 2019
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
