Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WOID@ICLP"( http://dblp.L3S.de/Venues/WOID@ICLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/iclp

Publication years (Num. hits)
1999 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
WOID@ICLP(9)
Authors
Michael Leuschel(3) Alberto Pettorossi(1) Fabio Fioravanti(1) Germán Puebla(1) Jesper Jørgensen(1) Kazunori Ueda(1) Manuel V. Hermenegildo(1) Marco Gavanelli(1) Maurice Bruynooghe(1) Maurizio Proietti(1) Michela Milano(1) Neng-Fa Zhou(1) Sosuke Kaneko(1) Wim Vanhoof(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Germán Puebla, Manuel V. Hermenegildo Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Leuschel Preface - Workshop on Optimization and Implementation of Declarative Programs. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Michela Milano On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Rules and Strategies for Contextual Specialization of Constraint Logic Programs. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Wim Vanhoof, Maurice Bruynooghe Towards Modular Binding-Time Analysis for First-order Mercury. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Neng-Fa Zhou, Sosuke Kaneko A Hybrid Algorithm for Compiling Equality Constraints and its Implementation. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kazunori Ueda Linearity Analysis of Concurrent Logic Programs. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Leuschel, Jesper Jørgensen Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN. Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Michael Leuschel (eds.) Workshop on Optimization and Implementation of Declarative Programs, WOID 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 2-3, 1999 Search on Bibsonomy WOID@ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license