|
Search the dblp DataBase
Daniel Cabeza:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Daniel Cabeza, Manuel V. Hermenegildo
Implementing Distributed Concurrent Constraint Execution in the CIAO System. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:67-78 [Conf]
- Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:105-110 [Conf]
- Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. [Citation Graph (0, 0)][DBLP] ASIAN, 2004, pp:93-108 [Conf]
- Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. [Citation Graph (0, 0)][DBLP] FLOPS, 2006, pp:146-162 [Conf]
- Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). [Citation Graph (0, 0)][DBLP] PADL, 2004, pp:104-119 [Conf]
- Daniel Cabeza, Manuel V. Hermenegildo
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library [Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.002secs
|