Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase SLD-tree (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1993-2002 (7)
Publication types (Num. hits)
article(1) inproceedings(6)
Venues (Conferences, Journals, ...)
ALP(1) BIT(1) FSTTCS(1) ICLP(1) LPAR(1) PADL(1) PDP(1)
Authors
Alessandra Di Pierro(1) Antonio González 0001(1) David Scott Warren(1) Donald A. Smith(1) Gianni Aguzzi(1) Gopal Gupta 0001(1) Hai-Feng Guo(1) Jordi Tubella(1) Luís Fernando Castro(1) Roland Olsson 0001(1) Terrance Swift(1) Timothy J. Hickey(1) U. Modigliani(1) Wlodzimierz Drabent(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
73Donald A. Smith, Timothy J. Hickey Multi-SLD Resolution. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
55Luís Fernando Castro, Terrance Swift, David Scott Warren Suspending and Resuming Computations in Engines for SLG Evaluation. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
49Jordi Tubella, Antonio González 0001 Exploiting path parallelism in logic programming. Search on Bibsonomy PDP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF path parallelism, partial breadth-first search, SLD-tree, SPMD architecture, non-deterministic programs, parallel programming, logic programming, logic programming, PROLOG, Prolog, data parallelism, Multipath, execution model
30Roland Olsson 0001 Execution of Logic Programs by Iterative Deepening A* SLD-Tree Search. Search on Bibsonomy BIT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18Gianni Aguzzi, U. Modigliani Proving Termination of Logic Programs by Transforming them into Equivalent Term Rewriting Systems. Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
16Hai-Feng Guo, Gopal Gupta 0001 A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Alessandra Di Pierro, Wlodzimierz Drabent On Negation As Instantiation. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (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