A geometric proof of confluence by decreasing diagrams von Klop, Jan Willem 1945-, Oostrom, Vincent van, Vrijer, Roel de

Diagram techniques for confluence von Bezem, Marc, Klop, Jan Willem 1945-, Oostrom, Vincent van

Comparing combinatory reduction systems and higher-order rewrite systems von Oostrom, Vincent van, Raamsdonk, Femke van

Sub-Birkhoff von Oostrom, Vincent van

Combinatory reduction systems introduction and survey von Klop, Jan Willem 1945-, Oostrom, Vincent van, Raamsdonk, Femke van

Comparing combinatory reduction systems and higher order rewrite systems von Oostrom, Vincent van

Weak orthogonality implies confluence: the higher-order case von Oostrom, Vincent van, Raamsdonk, Femke van

Weak orthogonality implies confluence: the higher order case von Oostrom, Vincent van

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999

Weitere Verfasser: Volltext öffnen