On Asymmetric Unification and the Combination Problem in Disjoint Theories

Abstract

We examine the disjoint combination problem in the newly developed paradigm of asymmetric unification. This new unification problem was developed based on newly identified requirements arising from symbolic cryptographic protocol analysis [4]. Its application involves unificationbased exploration of a space in which the states obey rich equational theories… (More)
DOI: 10.1007/978-3-642-54830-7_18
View Slides

Topics

Cite this paper

@inproceedings{Erbatur2014OnAU, title={On Asymmetric Unification and the Combination Problem in Disjoint Theories}, author={Serdar Erbatur and Deepak Kapur and Andrew M. Marshall and Catherine A. Meadows and Paliath Narendran and Christophe Ringeissen}, booktitle={FoSSaCS}, year={2014} }