A constructor-based approach to positive/negative-conditional equational specifications

DOI10.1006/JSCO.1994.1004zbMath0821.68083OpenAlexW2006337295MaRDI QIDQ1332337

Claus-Peter Wirth, Bernhard Gramlich

Publication date: 19 September 1995

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/f75b5f9e3524e7a1f431575a9f3ef04bb42082fd

zbMATH Keywords

algebraic specificationspositive-conditional rewrite systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (3)

Confluence of terminating conditional rewrite systems revisited ⋮ A series of revisions of David Poole's specificity ⋮ Shallow confluence of conditional term rewriting systems

This page was built for publication: A constructor-based approach to positive/negative-conditional equational specifications