|
СТ |
Improved Compilation of Prolog to C Using Moded Types and Determinism Information |
2004 |
Morales J., Carro M., Hermenegildo M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
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 |
|
СТ |
Concurrency in Prolog Using Threads and a Shared Database |
1999 |
Carro M., Hermenegildo M. |
|
|
|
Logic Programming |
07.03.2001 |
|
СТ |
Tools for Search-Tree Visualization: The APT Tool |
2000 |
Carro M., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
16.11.2000 |
|
СТ |
Tools for Constraint Visualization: The VIFID/TRIFID Tool |
2000 |
Carro M., Hermenegildo M. |
|
|
|
Lecture Notes in Computer Science |
16.11.2000 |
|
СТ |
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 |
|
СТ |
Relating Data-Parallelism and (And-) Parallelism in Logic Programs |
1995 |
Hermenegildo M. V., Carro M. |
Lecture Notes in Computer Science |
|
|
EURO-PAR 95 Parallel Processing |
19.10.1995 |
