- Infinitary Rewriting: Foundations Revisited Stefan Kahrs Wed 29 January 2014
- Modularity of Convergence and Strong Convergence in Infinitary Rewriting Stefan Michael Kahrs Wed 29 January 2014
- Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting Joerg Endrullis Clemens Grabmayer Dimitri Hendriks Jan Willem Klop Fri 24 January 2014
- Transfinite Reductions in Orthogonal Term Rewriting Systems Richard Kennaway Jan Willem Klop Ronan Sleep Fer-Jan de Vries Fri 24 January 2014
- Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract) Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries Fri 24 January 2014
- On confluence and residuals in Cauchy convergent transfinite rewriting Jakob Grue Simonsen Fri 24 January 2014
- 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
- 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
Library Size: 13G (16 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
