Recent Trends in Algebraic Development Techniques
From MaRDI portal
Publication:5703990
DOI10.1007/b107129zbMath1118.68514OpenAlexW4300641577WikidataQ57783451 ScholiaQ57783451MaRDI QIDQ5703990
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107129
Related Items
Transformations of Conditional Rewrite Systems Revisited ⋮ Converting between Combinatory Reduction Systems and Big Step Semantics ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems ⋮ Transformation for Refining Unraveled Conditional Term Rewriting Systems
Uses Software
This page was built for publication: Recent Trends in Algebraic Development Techniques