Minimal set unification-Reference-Cited by-同舟云学术

Minimal set unification

Published:1995 Issue: Volume: Page:397-414
ISSN:0302-9743
Container-title:Programming Languages: Implementations, Logics and Programs
language:
Short-container-title:

Author:

Arenas-Sánchez Puri,Dovier Agostino

Publisher

Springer Berlin Heidelberg

Link

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

Reference14 articles.

1. Arenas-Sánchez, P., and Dovier, A. Minimal Set Unification. Technical Report: TR-6/95, Università di Pisa, dip. di Informatica, april 1995.

2. Büttner, W., and Simonis, H. Embedding Boolean Expressions into Logic Programming. Journal of Symbolic Computation 4 (1987), 191–205.

3. vol. 660 of Lecture Notes in Artificial Intelligence;A. Dovier,1993

4. Dovier, A., and Pontelli., E. A WAM based Implementation of a Logic Language with Sets. In Proc. Fifth Int'l Symp. on Programming Language Implementation and Logic Programming (1993), M. Bruynooghe and J. Penjam, Eds., vol. 714 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 275–290.

5. Dovier, A., and Rossi, G. Embedding Extensional Finite Sets in CLP. In Proc. of International Logic Programming Symposium, ILPS'93 (1993), D. Miller, Ed., The MIT Press, Cambridge, Mass., pp. 540–556.

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

1. An algorithm for general set unification and its complexity;Journal of Automated Reasoning;1999

2. The complexity of weak unification of bounded simple set terms;Lecture Notes in Computer Science;1996

3. Unification of bounded simple set terms in deductive databases;Logic in Databases;1996

4. Minimal set unification;Programming Languages: Implementations, Logics and Programs;1995