On Asymmetric Unification and the Combination Problem in Disjoint Theories

DOI10.1007/978-3-642-54830-7_18zbMath1405.68315OpenAlexW2175948989MaRDI QIDQ5410678

Christophe Ringeissen, Serdar Erbatur, Paliath Narendran, Andrew M. Marshall, Deepak Kapur, Catherine A. Meadows

Publication date: 16 April 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54830-7_18

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

Unification and Matching in Hierarchical Combinations of Syntactic Theories

This page was built for publication: On Asymmetric Unification and the Combination Problem in Disjoint Theories