|
|
|
|
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  |
WRS@FLoC  |
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. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Muck van Weerdenburg |
An Account of Implementing Applicative Term Rewriting. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy |
Preface. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Sacerdoti Coen |
Reduction and Conversion Strategies for the Calculus of (co)Inductive Constructions: Part I. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard B. Kieburtz |
Programmed Strategies for Program Verification. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
The Power of Closed Reduction Strategies. |
WRS@FLoC |
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. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Nishida 0001, Tomohiro Mizutani, Masahiko Sakai |
Transformation for Refining Unraveled Conditional Term Rewriting Systems. |
WRS@FLoC |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license