Competing for theAC-Unification Race-Reference-Cited by-同舟云学术

Competing for theAC-Unification Race

Published:1993 Issue:2 Volume:11 Page:185-212
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Boudet Alexandre

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00881905.pdf

Reference31 articles.

1. Adi, M. and Kirchner, C., ?Associative-commutative unification: The system solving approach?, in Alfonso Miola (Ed.),Proc. DISCO'90. LNCS 429, Capri, Italy, April 1990. Springer-Verlag.

2. Birkhoff, G., ?On the structure of abstract algebras?,Proc. Cambridge Phil. Society,31 (1935).

3. Boudet, A.,Unification dans les mélanges de théories equationnelles. Ph.D. thesis, Université de Paris-Sud, Orsay (February 1990).

4. Boudet, A., 'Unification in combinations of equational theories: An efficient algorithm, inProc. 10th Int. Conf. on Automated Deduction, Kaiserslautern. Springer-Verlag, July 1990.

5. Boudet, A., Contejean, E. and Devie, H., ?A newAC unification algorithm with a new algorithm for solving diophantine equations?, inProc. 5th IEEE Symp. Logic in Computer Science, Philadelphia, June 1990.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Nominal AC-Matching;Lecture Notes in Computer Science;2023

2. Fast Sort Computations for Order-Sorted Matching and Unification;Formal Modeling: Actors, Open Systems, Biological Systems;2011

3. On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System;Logic for Programming and Automated Reasoning;1999

4. AC-unification of higher-order patterns;Principles and Practice of Constraint Programming-CP97;1997

5. Associative-commutative matching via bipartite graph matching;The Computer Journal;1995-05-01