An Efficient Unification Algorithm-Reference-Cited by-同舟云学术

An Efficient Unification Algorithm

Published:1982-04 Issue:2 Volume:4 Page:258-282
ISSN:0164-0925
Container-title:ACM Transactions on Programming Languages and Systems
language:en
Short-container-title:ACM Trans. Program. Lang. Syst.

Author:

Martelli Alberto¹,Montanari Ugo²

Affiliation:

1. Istituto di Scienze della Informazione, Università di Torino, Corso M. d'Azeglio 42, I-10125 Torino, Italy

2. Istituto di Scienze della Informazione, Università di Pisa, Corso Italia 40, I-56100 Pisa, Italy

Publisher

Association for Computing Machinery (ACM)

Subject

Software

Reference25 articles.

1. BAXTER L.D. A practically linear unification algorithm. Res. Rep. CS-76-13 Dep. of Applied Analysis and Computer Science Univ. of Waterloo Waterloo Ontario Canada. BAXTER L.D. A practically linear unification algorithm. Res. Rep. CS-76-13 Dep. of Applied Analysis and Computer Science Univ. of Waterloo Waterloo Ontario Canada.

2. A Transformation System for Developing Recursive Programs

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

1. Interactive Proof Assistant Based on Resolution Method in First Order Logic;2024 IEEE 28th International Conference on Intelligent Engineering Systems (INES);2024-07-17

2. The Relational Machine Calculus;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

3. Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17

4. Integrating systems of systems with a federation of rule engines;Journal of Industrial Information Integration;2024-03

5. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05