Higher-Order Rewriting (1999)

Cached

Download Links

by Femke Van Raamsdonk
Venue:12th Int. Conf. on Rewriting Techniques and Applications, LNCS 2051
Citations:25 - 1 self

Active Bibliography

469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
578 Term Rewriting Systems – J. W. Klop - 1992
2 Outermost-Fair Rewriting – Femke Van Raamsdonk - 1997
3 Stable results and relative normalization – J R W Glauert, J R Kennaway, Z Khasidashvili - 2000
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
7 Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems – Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
Weak Orthogonality Implies Confluence: the Higher-Order Case – O Ntt, Vincent Van Oostrom, Vincent Van Oostrom, Femke Van Raamsdonk, Femke Van Raamsdonk - 1994
13 Finite Family Developments – Vincent van Oostrom