|
|
Venues (Conferences, Journals, ...)
|
|
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 |
77 | Salvador Lucas |
Root-Neededness and Approximations of Neededness. |
Inf. Process. Lett. |
1998 |
DBLP DOI BibTeX RDF |
|
56 | Irène Durand |
Autowrite: A Tool for Checking Properties of Term Rewriting Systems. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Delia Kesner, Alejandro Ríos 0001, Andrés Viso |
Call-by-need, neededness and all that. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
39 | Delia Kesner, Alejandro Ríos 0001, Andrés Viso |
Call-by-Need, Neededness and All That. |
FoSSaCS |
2018 |
DBLP DOI BibTeX RDF |
|
39 | Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos 0001 |
On abstract normalisation beyond neededness. |
Theor. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
36 | Santiago Escobar 0001 |
Refining weakly outermost-needed rewriting and narrowing. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
neededness, term rewriting, lazy evaluation, demandness, parallel evaluation |
28 | Zurab Khasidashvili, John R. W. Glauert |
Discrete Normalization and Standardization in Deterministic Residual Structures. |
ALP |
1996 |
DBLP DOI BibTeX RDF |
|
28 | John R. W. Glauert, Zurab Khasidashvili |
Relative Normalization in Deterministic Residual Structures. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|