Nondeterministic algebraic specifications and nonconfluent term rewriting

From MaRDI portal
Revision as of 00:17, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3992231

DOI10.1016/0743-1066(92)90026-YzbMath0763.68050WikidataQ126858379 ScholiaQ126858379MaRDI QIDQ3992231

Heinrich Hussmann

Publication date: 13 August 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)




Related Items (14)







This page was built for publication: Nondeterministic algebraic specifications and nonconfluent term rewriting