СТ |
A Skeleton Library |
2002 |
Kuchen H. |
|
|
|
Lecture Notes in Computer Science |
04.10.2002 |
СТ |
Higher Order Babel: Language and Implementation |
1996 |
Kuchen H., Anastasiadis J. |
|
|
|
Lecture Notes in Artificial Intelligence |
17.04.1996 |
СТ |
Candela - A Topology Description Language |
1994 |
Kuchen H., Stoltze H. |
|
|
|
Computers and Artificial Intelligence |
24.03.1995 |
СТ |
Implementing a Lazy Functional Logic Language with Disequality Constraints |
1992 |
Kuchen H., Lopez-Fraguas F. J., Moreno-Navarro J. J., Rodrigues-Artalejo M. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
СТ |
Efficient Distributed Memory Implementation of a Data Parallel Functional Language |
1994 |
Kuchen H., Plasmeijer R., Stoltze H. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
СТ |
Efficient Lazy Narrowing using Demandedness Analysis |
1993 |
Moreno-Navarro J. J., Kuchen H., Marino-Carballo J., Winkler S., Hans W. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
СТ |
Independent AND-Parallel Implementation of Narrowing |
1992 |
Kuchen H., Moreno-Navarro J. J., Hermenegildo M. V. |
|
|
|
Lecture Notes in Computer Science |
13.10.1992 |