- Knowledge Sharing among Ideal Agents Alessio Lomuscio Fri 02 May 2014
- Regular Sets of Descendants by Some Rewrite Strategies Pierre Réty Julie Vuotto Fri 02 May 2014
- Regular Sets of Descendants by Leftmost Strategy Pierre Réty Julie Vuotto Fri 02 May 2014
- Extrapolating Tree Transformations Ahmed Bouajjani Tayssir Touili Fri 02 May 2014
- Regular Sets of Descendants for Constructor-Based Rewrite Systems Pierre Réty Fri 02 May 2014
- Towards Static Analysis of Functional Programs using Tree Automata Completion Thomas Genet Fri 02 May 2014
- Decidability of Reachability for Term Rewriting with Reduction Strategies Yoshiharu Kojima Fri 02 May 2014
- Proving Reachability Properties on Term Rewriting Systems with Strategies Thomas Genet Fri 02 May 2014
- Reachability analysis of rewriting for software verification Thomas Genet Fri 02 May 2014
- Deterministic graph grammars Didier Caucal Fri 02 May 2014
- Undecidability in binary tag systems and the Post correspondence problem for four pairs of words Turlough Neary Mon 28 April 2014
- Two-Player Perfect-Information Shift-Invariant Submixing Stochastic Games Are Half-Positional Hugo Gimbert Edon Kelmendi Mon 28 April 2014
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes Koichi Fujima Sohei Ito Naoki Kobayashi Sat 26 April 2014
- The Complexity of Ergodic Games Krishnendu Chatterjee Rasmus Ibsen-Jensen Sat 26 April 2014
- Complexity of Model-Checking Call-by-Value Programs Takeshi Tsukada Naoki Kobayashi Sat 26 April 2014
- The Comprehensive LATEX Symbol List Scott Pakin Sat 26 April 2014
- Equivalence of infinite-state systems with silent steps Piotr Hofman Sat 26 April 2014
- Trace Inclusion for One-Counter Nets Revisited Piotr Hofman Patrick Totzke Sat 26 April 2014
- Secure Equilibria in Weighted Games Véronique Bruyère Noémie Meunier Jean-François Raskin Sat 26 April 2014
- Non-Elementary Complexities for Branching VASS, MELL, and Extensions Ranko Lazić Sylvain Schmitz Sat 26 April 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
