A semantic approach to order-sorted rewriting

DOI10.1006/JSCO.1997.0188zbMath0983.68088OpenAlexW2044004199MaRDI QIDQ1264441

Andreas Werner

Publication date: 21 April 2002

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

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

zbMATH Keywords

order-sorted rewritingrange unique signatures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

This page was built for publication: A semantic approach to order-sorted rewriting