- Countable homogeneous and partially homogeneous ordered structures J K Truss Mon 30 March 2015
- Constrained Multiset Rewriting Parosh Aziz Abdulla Giorgio Delzanno Thu 26 March 2015
- Timed Petri nets and timed automata: On the discriminating power of zeno sequences Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 26 March 2015
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets Jiří Srba Thu 26 March 2015
- Kommunikation mit Automaten Carl Adam Petri Thu 26 March 2015
- Automorphism Groups of Infinite Semilinear Orders (II) M. Droste W. C. Holland H. D. Macpherson Thu 26 March 2015
- The universal homogeneous binary tree Manuel Bodirsky David Bradley-Williams Michael Pinsker András Pongrácz Thu 26 March 2015
- Sur certaines relations qui generalisent l'ordre des nombres rationnels R. Fraissé Tue 24 March 2015
- Countable Homogeneous Relational Structures and aleph0-Categorical Theories C. Ward Henson Thu 19 March 2015
- On direct products of automaton decidable theories Bernard R. Hodgson Thu 19 March 2015
- Automatic Presentations of Infinite Structures Vince Bárány Thu 19 March 2015
- Commutative grammars: The complexity of uniform word problems Dung T. Huynh Sun 15 March 2015
- Higher-Order Pushdown Systems with Data Paweł Parys Fri 13 March 2015
- Towards Nominal Context-free Model-checking Pierpaolo Degano Gian-Luigi Ferrari Gianluca Mezzetti Fri 13 March 2015
- Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth Artur Jeż Alexander Okhotin Fri 13 March 2015
- Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth Artur Jeż Alexander Okhotin Fri 13 March 2015
- Trading Performance for Stability in Markov Decision Processes Tomas Brazdil Krishnendu Chatterjee Vojtech Forejt Antonin Kucera Wed 11 March 2015
- Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness Parosh Abdulla Pritha Mahata Richard Mayr Wed 04 March 2015
- Rewriting Systems over Nested Data Words Ahmed Bouajjani Cezara Drăgoi Yan Jurski Mihaela Sighireanu Wed 04 March 2015
- Rewriting Systems with Data Ahmed Bouajjani Peter Habermehl Yan Jurski Mihaela Sighireanu Wed 04 March 2015
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
