A framework for operational equational specifications with pre-defined structures

DOI10.1006/JSCO.1998.0253zbMath0928.68078OpenAlexW1986263934MaRDI QIDQ1286447

Klaus Becker, Jürgen Avenhaus

Publication date: 12 January 2000

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

Full work available at URL: https://doi.org/10.1006/jsco.1998.0253

zbMATH Keywords

syntactic rewrite theory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Shallow confluence of conditional term rewriting systems

This page was built for publication: A framework for operational equational specifications with pre-defined structures