Termination of rule-based calculi for uniform semi-unification

DOI10.1007/978-3-642-37064-9_7MaRDI QIDQ4910441zbMATH OpenOpenAlexFDO

Authors Takahito Aoto, Munehiro Iwami

Publication date 18 March 2013

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37064-9_7

zbMATH Keywords

rule-based calculisemi-unificationtermination

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Recommendations

• Semi-unification
• scientific article; zbMATH DE number 4092757
• Fast algorithms for uniform semi-unification
• Publication:3204025
• scientific article; zbMATH DE number 176162

This page was built for publication: Termination of rule-based calculi for uniform semi-unification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910441)