Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system

DOI10.1007/S002360050060zbMath0849.68073OpenAlexW3149147109MaRDI QIDQ1901710

M. R. K. Krishna Rao

Publication date: 16 November 1995

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050060

zbMATH Keywords

confluencelazy evaluationdenotational semanticsterm rewriting systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (1)

Completion after Program Inversion of Injective Functions

This page was built for publication: Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting system