Hierarchical Combination of Matching Algorithms (Extended Abstract)
Authors: Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran and Christophe Ringeissen
Paper Information
| Title: | Hierarchical Combination of Matching Algorithms (Extended Abstract) |
| Authors: | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran and Christophe Ringeissen |
| Proceedings: | UNIF 2014 Short Papers |
| Editors: | Temur Kutsia and Christophe Ringeissen |
| Keywords: | Matching, Unification, Combination |
| Abstract: | ABSTRACT. We present a new algorithm for the matching problem in the combination of non-disjoint equational theories. The method is an extension of our recent work on the hierarchical combination of unification algorithms. |
| Pages: | 5 |
| Talk: | Jul 13 12:35 |
| Paper: |  |