СТ |
An Abstract Machine for Oz |
1995 |
Mehl M., Scheidhauer R., Schulte C. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
СТ |
Encapsulated Search and Constraint Programming in Oz |
1994 |
Schulte C., Smolka G., Wurtz J. |
|
|
|
Lecture Notes in Computer Science |
22.12.1994 |
СТ |
Encapsulated Search for Higher-order Concurrent Constraint Programming |
1994 |
Schulte C., Smolka G. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
31.01.1996 |
СТ |
Oz Explorer: A Visual Constraint Programming Tool |
1997 |
Schulte C. |
|
|
|
Logic Programming |
11.03.1998 |
М |
Programming Constraint Services: High-Level Programming of Standard and New Constraint Services |
2002 |
Schulte C. |
Lecture Notes in Artificial Intelligence |
|
|
|
18.04.2002 |