Diagram Techniques for Confluence

Information and Computation

Volumn 141, Issue 2, 1998, Pages 172-204

  Bezem, Marc ^a   Klop, Jan Willem ^b,c   Van Oostrom, Vincent ^c  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0004455697     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1997.2683     Document Type: Article

References (16)

1. Barendregt, H. P. (1984), "The Lambda Calculus: Its Syntax and Semantics," second, revised edition, North-Holland, Amsterdam,
2. de Bruijn, N. G. (1978), "A Note on Weak Diamond Properties," Memoradum, 78-08, Eindhoven University of Technology.
3. Geser, A. (1990), "Relative Termination," Dissertation, Ph.D. Thesis, University of Passau.
4. Hindley, J. R. (1964), "The Church-Rosser Property and a Result in Combinatory Logic," Dissertation, University of Newcasle-upon-Tyne.
5. Huet, G. (1980), Confluent reductions: Abstract properties and applications to term rewriting systems, Assoc. Comput. Mach. 27(4), 797-821.
6. Jantzen, M. (1988), "Confluent String Rewriting and Congruences", EATCS (European Association for Theoretical Computer Science) Monographs on Theoretical Computer Science, Vol. 14, Springer-Verlag, Berlin.
7. Klop, J. W. (1980), "Combinatory Reduction Systems," Mathematical Centre Tracts, Vol. 127, Mathematisch Centrum, Amsterdam.
8. Mano, K. (1993), Personal communication.
9. Newman, M. H. A. (1942), On theories with a combinatorial definition of "equivalence," Ann. Math. 43(2), 223-243.
10. Oostrom, V. van (1994a), Confluence by decreasing diagrams, Theoret. Comput. Sci. 126, 259-280.
11. Oostrom, V. van (1994b), "Confluence for Abstract and Higher-Order Rewriting," Dissertation, Vrije Universiteit, Amsterdam.
12. Popkorn, S. (1994), "First Steps in Modal Logic," Cambridge Univ. Press, Cambridge, UK.
13. Rosen, B. K. (1973), Tree-manipulating systems and Church-Rosser theorems, J. Assoc. Comput. Mach. 20(1), 160-187.
14. Staples, J. (1975), Church-Rosser theorems for replacement systems, in "Algebra and Logic" (J. Crossley, Ed.), Lecture Notes in Mathematics, Vol. 450, pp. 291-307, Springer-Verlag, Berlin/New York.
15. Sutherland, W. A. (1976), "Introduction to Metric and Topological Spaces," Oxford Uni. Press, Oxford.
16. Winkler, F., and Buchberger, B. (1985), A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm, in "Proceedings of the Colloquium on Algebra, Cominatorics and Logic in Computer Science, Vol. II," pp. 849-869, Györ, Hungary.