Вы здесь

Ait-Kaci H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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