|
СТ |
Logic Programming with Polymorphically Order-Sorted Types |
1988 |
Smolka G. |
Mathematical Research |
|
|
Algebraic and Logic Programming |
30.06.1995 |
|
П |
Residuation and Guarded Rules for Constraint Logic Programming |
1991 |
Smolka G. |
|
|
Digital |
|
19.05.1992 |
|
СТ |
Records for Logic Programming |
1992 |
Smolka G., Treinen R. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
П |
A Feature Constraint System for Logic Programming with Entailment |
1992 |
Ait-Kaci H., Podelski A., Smolka G. |
|
|
Digital |
|
24.03.1993 |
|
СТ |
Encapsulated Search for Higher-order Concurrent Constraint Programming |
1994 |
Schulte C., Smolka G. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
|
СТ |
A Record Calculus with Principal Types |
1994 |
Hense A. V., Smolka G. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
A Confluent Relational Calculus for Higher-Order Programming with Constraints |
1994 |
Niehren J., Smolka G. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
A Foundation for Higher-order Concurrent Constraint Programming |
1994 |
Smolka G. |
|
|
|
Lecture Notes in Computer Science |
01.10.1994 |
|
СТ |
Encapsulated Search and Constraint Programming in Oz |
1994 |
Schulte C., Smolka G., Wurtz J. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
|
СТ |
Operational Semantics of Constraint Logic Programs with Coroutining |
1995 |
Podelski A., Smolka G. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
|
СТ |
Situatted Simplification |
1995 |
Podelski A., Smolka G. |
Lecture Notes in Computer Science |
|
|
Principles and Practice of Constraint Programming - CP 95 |
16.11.1995 |
|
СТ |
The Definition of Kernel Oz |
1995 |
Smolka G. |
|
|
|
Lecture Notes in Computer Science |
19.04.1995 |
|
СТ |
The Oz Programming Model |
1995 |
Smolka G. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
19.10.1995 |
|
СТ |
Concurrent Constraint Pogramming Based on Functional Programming |
1998 |
Smolka G. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
СТ |
Efficient Logic Variables for Distributed Computing |
1999 |
Haridi S., Van Roy P., Brand P., Mehl M., Scheidhauer R., Smolka G. |
|
|
|
ACM Trans. on Programming Languages and Systems |
01.02.2000 |
