Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for neededness with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2018 (8)
Publication types (Num. hits)
article(3) inproceedings(5)
Venues (Conferences, Journals, ...)
ALP(1) CAAP(1) CoRR(1) FoSSaCS(1) Inf. Process. Lett.(1) PPDP(1) RTA(1) Theor. Comput. Sci.(1)
Authors
Alejandro Ríos 0001(3) Delia Kesner(3) Andrés Viso(2) John R. W. Glauert(2) Zurab Khasidashvili(2) Carlos Lombardi(1) Eduardo Bonelli(1) Irène Durand(1) Salvador Lucas(1) Santiago Escobar 0001(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
77Salvador Lucas Root-Neededness and Approximations of Neededness. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
56Irène Durand Autowrite: A Tool for Checking Properties of Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
39Delia Kesner, Alejandro Ríos 0001, Andrés Viso Call-by-need, neededness and all that. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
39Delia Kesner, Alejandro Ríos 0001, Andrés Viso Call-by-Need, Neededness and All That. Search on Bibsonomy FoSSaCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
39Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos 0001 On abstract normalisation beyond neededness. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
36Santiago Escobar 0001 Refining weakly outermost-needed rewriting and narrowing. Search on Bibsonomy PPDP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF neededness, term rewriting, lazy evaluation, demandness, parallel evaluation
28Zurab Khasidashvili, John R. W. Glauert Discrete Normalization and Standardization in Deterministic Residual Structures. Search on Bibsonomy ALP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
28John R. W. Glauert, Zurab Khasidashvili Relative Normalization in Deterministic Residual Structures. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (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