- On the Membership Problem for Non-Linear Abstract Categorial Grammars Sylvain Salvati Mon 01 April 2013
- Towards Abstract Categorial Grammars Philippe de Groote Mon 01 April 2013
- The mathematics of sentence structure Joachim Lambek Mon 01 April 2013
- Model checking lossy vector addition systems Ahmed Bouajjani Richard Mayr Wed 27 March 2013
- Monotonic and Downward Closed Games Parosh Aziz Abdulla Ahmed Bouajjani Julien D'orso Wed 27 March 2013
- Petri Games are Monotonic but Difficult to Decide Jean-François Raskin Mathias Samuelides Laurent Van Begin Wed 27 March 2013
- Deciding Monotonic Games ParoshAziz Abdulla Ahmed Bouajjani Julien d'Orso Wed 27 March 2013
- Games People Play Yuri Gurevich Wed 27 March 2013
- Arithmetical hierarchy and complexity of computation Petr Hajek Wed 27 March 2013
- Reset nets between decidability and undecidability C. Dufourd A. Finkel Ph. Schnoebelen Wed 27 March 2013
- Petri nets with marking-dependent arc cardinality: Properties and analysis Gianfranco Ciardo Wed 27 March 2013
- Some decision problems related to the reachability problem for Petri nets Toshiro Araki Tadao Kasami Wed 27 March 2013
- An Early Program Proof by Alan Turing F. L. Morris C. B. Jones Wed 27 March 2013
- Checking a large routine A. Turing Wed 27 March 2013
- Tree automata, Mu-Calculus and determinacy E. A. Emerson C. S. Jutla Wed 27 March 2013
- Automata for the modal mu-calculus and related results David Janin Igor Walukiewicz Wed 27 March 2013
- Fondamenti della teoria della concorrenza: il CCS Daniele Gorla Wed 27 March 2013
- Il pi-calcolo: nozioni di teoria e applicazioni Daniele Gorla Wed 27 March 2013
- Introduction to Programming Language Semantics Ohad Kammar Wed 27 March 2013
- Considerations on open access publication and on the role and publication of conference proceedings V. Sassone Wed 27 March 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
