|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Sergio Antoy (eds.) |
Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot |
From Functional Programs to Interaction Nets via the Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 39-56, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Muck van Weerdenburg |
An Account of Implementing Applicative Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 139-155, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Sacerdoti Coen |
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 97-118, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Kieburtz |
Programmed Strategies for Program Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 3-38, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
The Power of Closed Reduction Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 57-74, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes Hidalgo-Herrero, Alberto Verdejo, Yolanda Ortega-Mallén |
Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 119-137, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Tomohiro Mizutani, Masahiko Sakai |
Transformation for Refining Unraveled Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@FLoC ![In: Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, WRS@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 75-95, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|