- Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes Petr Jančar Jiří Srba Fri 27 December 2013
- Lossy Channel Games under Incomplete Information Rayna Dimitrova Bernd Finkbeiner Fri 27 December 2013
- What will you have, DP or NP Željko Bošković Fri 27 December 2013
- Positional Determinacy of Infinite Games Erich Gradel Fri 27 December 2013
- Omega-Regular Half-Positional Winning Conditions Eryk Kopczyński Fri 27 December 2013
- Half-positional determinacy of infinite games Eryk Kopczyński Fri 27 December 2013
- Positional Determinacy of Games with Infinitely Many Priorities Erich Graedel Igor Walukiewicz Fri 27 December 2013
- Half-Positional Determinacy of Infinite Games Eryk Kopczyński Fri 27 December 2013
- A Story of Meaningless Terms Vince Bárány Wed 25 December 2013
- Rewriting Transfinite Terms J. Ketema S. C. C. Blom T. Aoto J. G. Simonsen Wed 25 December 2013
- Transfinite Rewriting Semantics for Term Rewriting Systems Salvador Lucas Wed 25 December 2013
- Ordinal Distances in Transfinite Graphs A.H. Zemanian Wed 25 December 2013
- Bounded sets of nodes in transfinite trees Yaacov Choueka Wed 25 December 2013
- Timed tree automata with an application to temporal logic Salvatore La Torre Margherita Napoli Wed 25 December 2013
- Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem Martin Dickhøfer Thomas Wilke Wed 25 December 2013
- Automatic presentations of structures Bakhadyr Khoussainov Anil Nerode Tue 24 December 2013
- Modeling and Verification of Infinite Systems with Resources Martin Lang Christof Løding Tue 24 December 2013
- Bøhm Trees as Higher-Order Recursive Schemes Pierre Clairambault Andrzej S. Murawski Tue 24 December 2013
- Monotonic Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla Ahmed Bouajjani Jonathan Cederberg Frédéric Haziza Ahmed Rezine Mon 23 December 2013
- Well-Structured Graph Transformation Systems with Negative Application Conditions Barbara Kønig Jan Stuckrath Mon 23 December 2013
Library Size: 13G (12983 entries),
Last Updated: Apr 23, 2026, 14:40:46,
Build Time: N/A
