Abstract Modularity (2005)

by Michael Abbott , Neil Ghani , Christoph Lüth
Citations:1 - 0 self

Documents Related by Co-Citation

954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
366 Confluent reductions: Abstract properties and applications to term rewriting systems – G Huet - 1980
289 The Lambda Calculus – Its Syntax and Semantics, volume 103 – Hendrik Pieter Barendregt - 1984
245 Combinatory Reduction System – J W Klop - 1980
124 Higher-order critical pairs – T Nipkow - 1991
84 Counterexamples to terminating for the direct sum of term rewriting systems – Y Toyama - 1986
83 Combinatory Reduction Systems: introduction and survey – Jan Willem Klop, Vincent van Oostrom, Femke van Raamsdonk - 1993
73 On the Church-Rosser property for the direct sum of term rewriting systems – Yoshihito Toyama - 1987
63 Higher-order rewrite systems and their confluence – Richard Mayr - 1998
50 On termination of the direct sum of term rewriting systems – Michaël Rusinowitch - 1987