Associative-Commutative Unification-Reference-Cited by-同舟云学术

Associative-Commutative Unification

Published:1984 Issue: Volume: Page:194-208
ISSN:0302-9743
Container-title:7th International Conference on Automated Deduction
language:
Short-container-title:

Author:

Fages François

Publisher

Springer New York

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-34768-4_12.pdf

Reference50 articles.

1. Baxter L.D. The Complexity of Unification. Ph.D. Thesis, University of Waterloo. (1977)

2. Baxter L.D. The Undecidability of the Third Order Dyadic Unification Problem. Information Control 38, p 170–178, (1978)

3. Burstall R.M., Colli. J.S. and Popplestone R.J. Programming in POP-2 Edinburgh University Press. (1971)

4. Colmerauer A. Prolog II, manuel de référence et modèle théorique, Rapport interne, Groupe d’Intelligence Artificielle, Université d’Aix-Marseille II. (Mars 1982)

5. Colmerauer K. Kanoui H. and Van Caneghem M. Etude et Réalisation d’un systéme PROLOG. Rapport Interne, GIA, Univ. d’Aix-MarseiUe Luminy. (1972)

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

1. Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk);Logic-Based Program Synthesis and Transformation;2023

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

3. Mark Stickel: His Earliest Work;Journal of Automated Reasoning;2015-09-04

4. General A- and AX-unification via optimized combination procedures;Word Equations and Related Topics;1993

5. Unification in the union of disjoint equational theories: Combining decision procedures;Automated Deduction—CADE-11;1992