|
СТ |
The Typed Polymorphic Label-Selective -Calculus |
1994 |
Garrigue J., Ait-Kaci H. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
An Introduction to LIFE-Programming with Logic, Inheritance, Functions, and Equations |
1993 |
Ait-Kaci H. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
П |
A Database Interface for Complex Objects |
1993 |
Holsheimer M., De By R. A., Ait-Kaci H. |
|
|
Digital |
|
24.02.1994 |
|
П |
Label-Selective -Calculus |
1993 |
Ait-Kaci H., Garrigue J. |
|
|
Digital |
|
24.02.1994 |
|
П |
Order-Sorted Feature Theory Unification |
1993 |
Ait-Kaci H., Podelski A., Golstein S. C. |
|
|
Digital |
|
24.02.1994 |
|
СТ |
Label-Selective -Calculus Syntax and Cofluence |
1993 |
Ait-Kaci H., Garrigue J. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
|
СТ |
Logic Programming with Functions over Order-Sorted Feature Terms |
1992 |
Ait-Kaci H., Podelski A. |
|
|
|
Lecture Notes in Artificial Intelligence |
06.04.1993 |
|
П |
A Feature Constraint System for Logic Programming with Entailment |
1992 |
Ait-Kaci H., Podelski A., Smolka G. |
|
|
Digital |
|
24.03.1993 |
|
П |
Functions as Passive Constraints in LIFE |
1992 |
Ait-Kaci H., Podelski A. |
|
|
Digital |
|
11.02.1993 |
|
П |
Towards a Meaning of LIFE |
1991 |
Ait-Kaci H., Podelski A. |
|
|
Digital |
|
19.05.1992 |
|
СТ |
A Glimpse of Paradise |
1991 |
Ait-Kaci H. |
|
|
|
Lecture Notes in Computer Science |
14.08.1991 |
|
СТ |
An Overview of LIFE |
1991 |
Ait-Kaci H. |
|
|
|
Lecture Notes in Computer Science |
14.08.1991 |
|
П |
The WAM: A (Real) Tutorial |
1990 |
Ait-Kaci H. |
|
|
Digital |
|
29.03.1991 |
