- On Modularity in Infinitary Term Rewriting Jakob Grue Simonsen Fri 24 January 2014
- Infinitary Rewriting -- Theory and Applications Patrick Bahr Fri 24 January 2014
- Infinitary Rewriting in Coq Martijn Vermaat Fri 24 January 2014
- Infinitary Rewriting: From Syntax to Semantics Richard Kennaway Paula Severi Ronan Sleep Fer-Jan de Vries Fri 24 January 2014
- Infinitary rewriting: closure operators, equivalences and models Stefan Kahrs Fri 24 January 2014
- Topological Convergence in Infinitary Abstract Rewriting Jochem Bongaerts Fri 24 January 2014
- Infinitary Normalization Jan Willem Klop Roel de Vrijer Fri 24 January 2014
- Decidability for Left-Linear Growing Term Rewriting Systems Takashi Nagaya Yoshihito Toyama Thu 23 January 2014
- Highlights in Infinitary Rewriting and Lambda Calculus Jørg Endrullis Dimitri Hendriks Jan Willem Klop Thu 23 January 2014
- A Coinductive Treatment of Infinitary Rewriting Joerg Endrullis Helle Hvid Hansen Dimitri Hendriks Andrew Polonsky Alexandra Silva Thu 23 January 2014
- Rewrite, rewrite, rewrite, rewrite, rewrite, łdots Nachum Dershowitz Stéphane Kaplan David A. Plaisted Thu 23 January 2014
- On Finite Representations of Infinite Sequences of Terms Hong Chen Jieh Hsiang Hwa-Chung Kong Thu 23 January 2014
- More Problems in Rewriting Nachum Dershowitz Jean-Pierre Jouannaud Jan Willem Klop Thu 23 January 2014
- Recognizability, Hypergraph Operations, and Logical Types A. Blumensath B. Courcelle Thu 23 January 2014
- Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited Patricia Bouyer Nicolas Markey Jørg Olschewski Michael Ummels Thu 23 January 2014
- Generalized Parity Games Krishnendu Chatterjee Thomas A. Henzinger Nir Piterman Thu 23 January 2014
- Quantitative Stochastic Parity Games Krishnendu Chatterjee Marcin Jurdziński Thomas A. Henzinger Thu 23 January 2014
- Mean-payoff parity games K. Chatterjee T.A. Henzinger M. Jurdzinski Thu 23 January 2014
- Measuring and Synthesizing Systems in Probabilistic Environments Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh Thu 23 January 2014
- Faster and Dynamic Algorithms for Maximal End-component Decomposition and Related Graph Problems in Probabilistic Verification Krishnendu Chatterjee Monika Henzinger Thu 23 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
