|
СТ |
Embedding Multiset Constraints into a Lazy Functional Logic Language |
1998 |
Arenas-Sanchez P., Lopez-Fraguas F. J., Rodriguez-Artalejo M. |
|
|
|
Lecture Notes in Computer Science |
13.10.1998 |
|
СТ |
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types |
1997 |
Arenas-Sanchez P., Rodriguez-Artalejo M. |
|
|
|
Logic Programming |
05.03.1998 |
|
СТ |
A Semantic Framework for Functional Logic Programming with Algebraic Polymorphic Types |
1997 |
Arenas-Sanchez P., Rodriguez-Artalejo M. |
|
|
|
Lecture Notes in Computer Science |
16.05.1997 |
|
СТ |
Minimal Set Unification |
1995 |
Arenas-Sanchez P., Dovier A. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
Combining Lazy Narrowing with Disequality Constraints |
1994 |
Arenas-Sanchez P., Gil-Luezas A., Lopez-Fraguas F. J. |
|
|
|
Lecture Notes in Computer Science |
13.10.1994 |
