A theory of using history for equational systems with applications

From MaRDI portal

Revision as of 23:47, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4369888

Jump to:navigation, search

DOI10.1145/210118.210130zbMath0885.68128OpenAlexW1972215161MaRDI QIDQ4369888

Rakesh M. Verma

Publication date: 28 January 1998

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/210118.210130

zbMATH Keywords

strong closure congruence closure based simplifier

Mathematics Subject Classification ID

Related Items (1)

Remarks on Thatte's transformation of term rewriting systems

This page was built for publication: A theory of using history for equational systems with applications

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4369888&oldid=18363369"