- On the termination of Markov algorithms Zohar Manna Steven Ness Wed 29 January 2014
- On the Uniform Halting Problem for Term Rewriting Systems Gerard Huet Dallas Lankford Wed 29 January 2014
- Well-founded Orderings for Proving Termination of Term Rewriting Systems David Plaisted Wed 29 January 2014
- A Recursively Defined Ordering for Proving Termination of Term Rewriting Systems David Plaisted Wed 29 January 2014
- Newman's Proof of Newman's Lemma Vincent van Oostrom Wed 29 January 2014
- Canonical Inference Dallas Lankford Wed 29 January 2014
- Higher-Order Rewriting: Framework, Confluence and Termination Jean-Pierre Jouannaud Wed 29 January 2014
- Attempts to generalizing the recursive path orderings Sam Kamin Jean-Jacques Levy Wed 29 January 2014
- A general Church-Rosser theorem Peter Aczel Wed 29 January 2014
- What's so special about Kruskal's theorem and the ordinal Gamma A survey of some results in proof theory Jean H. Gallier Wed 29 January 2014
- Ann. Pure Appl. Logic: Erratum to ``What's so special about Kruskal's theorem and the ordinal Gamma0 A survey of some results in proof theory'' Jean H. Gallier Wed 29 January 2014
- Dershowitzeries Jean-Jacques Levy Wed 29 January 2014
- Kruskaleries Jean-Jacques Levy Wed 29 January 2014
- On multiset orderings Jean-Pierre Jouannaud Pierre Lescanne Wed 29 January 2014
- Contribution to Mechanical Mathematics Renato Iturriaga Wed 29 January 2014
- Recursion Schemes from Comonads Tarmo Uustalu Varmo Vene Alberto Pardo Wed 29 January 2014
- Functional Perl: Programming with Recursion Schemes in Python Robert J. Simmons Nels E. Beckman Dr. Tom Murphy Vii Ph. D Wed 29 January 2014
- Programming with Recursion Schemes Daniel C. Wang Tom Murphy VII Wed 29 January 2014
- Non Deterministic Recursive Program Schemes A. Arnold M. Nivat Wed 29 January 2014
- Formal computations of non deterministic recursive program schemes André Arnold Maurice Nivat Wed 29 January 2014
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
