|
СТ |
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction |
2005 |
Cabeza D., Hermenegildo M., Lipton J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
СТ |
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations) |
2004 |
Correas J., Gomez J. M., Carro M., Cabeza D., Hermenegildo M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Global Analysis of Standard Prolog Programs |
1996 |
Bueno F., Cabeza D., Hermenegildo M., Puebla G. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems |
1995 |
Hermenegildo M., Cabeza D., Carro M. |
|
|
|
Logic Programming: Proc. of the Twelfth Intern. Conf. |
13.05.1996 |
