- Complexity of Pattern-based Verification for Multithreaded Programs Javier Esparza Pierre Ganty Tue 03 November 2015
- Fifty Years of the Spectrum Problem: Survey and New Results Arnaud Durand Neil Jones Johann Makowsky Malika More Mon 02 November 2015
- Recursive Petri nets Serge Haddad Denis Poitrenaud Fri 30 October 2015
- One-Nonterminal Conjunctive Grammars over a Unary Alphabet Artur Jeż Alexander Okhotin Fri 30 October 2015
- Linear Conjunctive Grammars and One-turn Synchronized Alternating Pushdown Automata Tamar Aizikowitz Michael Kaminski Thu 29 October 2015
- Bounded ALGOL-like languages Seymour Ginsburg Edwin H. Spanier Thu 29 October 2015
- Conjunctive Grammars Alexander Okhotin Wed 28 October 2015
- Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets Y. V. Matijasevič J. P. Jones Wed 28 October 2015
- A new proof of the theorem on exponential diophantine representation of enumerable sets Yu.V. Matiyasevich Wed 28 October 2015
- Semigroups, Presburger formulas, and languages Seymour Ginsburg Edwin H. Spanier Tue 27 October 2015
- Stably Computable Predicates Are Semilinear Dana Angluin James Aspnes David Eisenstat Tue 27 October 2015
- Recent and simple algorithms for Petri nets Alain Finkel Jérôme Leroux Tue 27 October 2015
- A characterization of semilinear sets L.Y. Liu P. Weiner Tue 27 October 2015
- Conjunctive Grammars Can Generate Non-regular Unary Languages Artur Jeż Tue 27 October 2015
- Nominal Sets over Algebraic Atoms Joanna Ochremiak Mon 26 October 2015
- The Diophantine Problem for Addition and Divisibility Leonard Lipshitz Mon 26 October 2015
- Minimization of semilinear automata Mikołaj Bojańczyk Sławomir Lasota Mon 26 October 2015
- Nested Words for Order-2 Pushdown Systems Aiswarya Cyriac Paul Gastin Prakash Saivasan Wed 21 October 2015
- Intuitionistic Logic Nick Bezhanishvili Dick de Jongh Mon 19 October 2015
- Semantical Analysis of Intuitionistic Logic I Saul A. Kripke Mon 19 October 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
