H. Ait-Kaci, An Algebraic Semantics Approach to the Effective Resolution of Type Equations, Theoretical Computer Science 45, 293--351, 1986. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Records for Logic Programming - Smolka, Treinen (1994) (80 citations) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (359 citations) (Correct)
Constructing a Legal Database on QUIXOTE - Takahashi, Yokota (1995) (Correct)
Computational and Structural Aspects of Openly Specified Type.. - Hegner (1998) (Correct)
A Feature Logic with Subsorts - Smolka (1992) (56 citations) (Correct)
Regular Path Expressions in Feature Logic - Backofen (1994) (4 citations) (Correct)
Compositional Specification Calculus for Information Systems.. - Kalinichenko (1999) (1 citation) (Correct)
The Specification and Implementation of Constraint-Based .. - Carpenter, Pollard.. (1991) (10 citations) (Correct)
Unified Versioning through Feature Logic - Zeller, Snelting (1997) (23 citations) (Correct)
Logical Foundations of Object-Oriented and Frame-Based Languages - Kifer, Lausen, Wu (1990) (367 citations) (Correct)
Typed Sets as a Basis for Object-Oriented Database Schemas - Balsters (1993) (20 citations) (Correct)
Principal Signatures for Higher-order Program Modules - Tofte (1993) (29 citations) (Correct)
Towards Integration Of Deductive Databases And.. - Yokota, Nishio (1989) (Correct)
Backtracking - Apostolico, Italiano (Correct)
An Overview of the OLI Multiparadigm Programming Language and.. - Lee, Pun (1996) (Correct)
Object Logic Integration: a Multiparadigm Design Methodology and .. - Lee, Pun (1997) (4 citations) (Correct)
Specific Features of a Deductive Object-Oriented Database.. - Yokota, Tsuda, Morita (1993) (18 citations) (Correct)
Natural (Language) Temporal Logic: Reasoning about Absolute and.. - Iwanska (Correct)
Feature Trees over Arbitrary Structures - Treinen (1997) (6 citations) (Correct)
Constraint Logic Programming: A Survey - Jaffar, Maher (1994) (359 citations) (Correct)
Formalization of graphical schemas: General sketch-based logic.. - Diskin (1995) (Correct)
A Feature-based Constraint System for Logic Programming .. - Aït-Kaci, Podelski.. (1992) Self-citation (Ait-kaci) (Correct)
Functions as Passive Constraints in LIFE - Aït-Kaci, Podelski (1994) (2 citations) Self-citation (It-kaci) (Correct)
Efficient Implementation of Lattice Operations - Ait-Kaci, Boyer, Lincoln, Nasr (1989) (6 citations) Self-citation (Ait-kaci) (Correct)
LIFE - A Natural Language for Natural Language - Aït-Kaci, Lincoln (1988) (8 citations) Self-citation (Ait-kaci) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC