Entailment and disentailment of order-sorted feature constraints-Reference-Cited by-同舟云学术

Entailment and disentailment of order-sorted feature constraints

Published:1993 Issue: Volume: Page:1-18
ISSN:0302-9743
Container-title:Logic Programming and Automated Reasoning
language:
Short-container-title:

Author:

Aït-Kaci Hassan,Podelski Andreas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56944-8_37.pdf

Reference13 articles.

1. Hassan Aït-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293–351 (1986).

2. Hassan Aït-Kaci and Roger Nasr. LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215 (1986).

3. Hassan Aït-Kaci and Roger Nasr. Integrating logic and functional programming. Lisp and Symbolic Computation, 2:51–89 (1989).

4. Hassan Aït-Kaci and Andreas Podelski. Functions as passive constraints in LIFE. PRL Research Report 13, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France (June 1991). (Revised, November 1992).

5. Hassan Aït-Kaci and Andreas Podelski. Towards a meaning of LIFE. PRL Research Report 11, Digital Equipment Corporation, Paris Research Laboratory, Rueil-Malmaison, France (1991). (Revised, October 1992; to appear in the Journal of Logic Programming).

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

1. Ordering constraints over feature trees;Principles and Practice of Constraint Programming-CP97;1997

2. The independence property of a class of set constraints;Lecture Notes in Computer Science;1996

3. A detailed algorithm testing guards over feature trees;Constraint Processing;1995

4. Incremental algorithms for constraint solving and entailment over rational trees;Lecture Notes in Computer Science;1993