Unification revisited-Reference-Cited by-同舟云学术

Unification revisited

Published:1988 Issue: Volume: Page:67-113
ISSN:0302-9743
Container-title:Foundations of Logic and Functional Programming
language:
Short-container-title:

Author:

Lassez J -L.,Maher M. J.,Marriott K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-19129-1_4.pdf

Reference28 articles.

1. Chang, C.L. and Lee, R. [1973] Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.

2. Colmerauer, A. [1984] Equations and Inequations on Finite and Infinite Trees, FGCS'84 Proceedings, Nov. 1984, 85–99.

3. Eder, E. [1985] Properties of Substitutions and Unifications, Journal of Symbolic Computation, 1985, 1, 31–46.

4. Herbrand, J. [1930] Recherches sur la theorie de la demonstration (These), Universite de Paris. (In: Ecrits logiques de Jacques Herbrand, Paris, PUF, 1968).

5. Huet, G. [1976] Resolution d'Equations Dans Des Langages D'Ordre, 1, 2,...,ω (These d'Etat), Universite de Paris VII, Dec. 1976.

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

1. A Practical View on Renaming;Electronic Proceedings in Theoretical Computer Science;2017-01-01

2. Learning Tree Languages;Topics in Grammatical Inference;2016

3. Optimal inference of fields in row-polymorphic records;Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation;2014-06-09

4. Optimal inference of fields in row-polymorphic records;ACM SIGPLAN Notices;2014-06-05

5. Bilateral Algorithms for Symbolic Abstraction;Static Analysis;2012