Rule-based unification in combined theories and the finite variant property

DOI10.1007/978-3-030-13435-8_26zbMath1425.68161OpenAlexW2913596757MaRDI QIDQ2278291

Christophe Ringeissen, Ajay K. Eeralla, Andrew M. Marshall, Serdar Erbatur

Publication date: 4 December 2019

Full work available at URL: https://hal.inria.fr/hal-01988419/file/combi-fc.pdf

zbMATH Keywords

unificationterm rewritingcombinationforward-closure

Mathematics Subject Classification ID

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

Related Items (4)

Non-disjoint combined unification and closure by equational paramodulation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Terminating non-disjoint combined unification

This page was built for publication: Rule-based unification in combined theories and the finite variant property