Hierarchical Combination
From MaRDI portal
Publication:4928442
DOI10.1007/978-3-642-38574-2_17zbMath1381.68265OpenAlexW2911700234MaRDI QIDQ4928442
Serdar Erbatur, Andrew M. Marshall, Deepak Kapur, Paliath Narendran, Christophe Ringeissen
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_17
Related Items (3)
Non-disjoint combined unification and closure by equational paramodulation ⋮ Unification and Matching in Hierarchical Combinations of Syntactic Theories ⋮ Terminating non-disjoint combined unification
This page was built for publication: Hierarchical Combination
