|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jürgen Giesl (eds.) |
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | René Thiemann, Aart Middeldorp |
Innermost Termination of Rewrite Systems by Labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 3-19, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras |
Regular Strategies as Proof Tactics for CIRC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 83-98, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe |
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 21-34, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Etienne Moreau, Antoine Reilles |
Rules and Strategies in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 71-82, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Elena Machkasova |
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 147-162, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Felix Schernhammer, Bernhard Gramlich |
Termination of Lazy Rewriting Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 35-51, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Giesl |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | François-Régis Sinot |
Complete Laziness: a Natural Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 129-145, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed |
On Term-Graph Rewrite Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 99-110, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça |
Token-passing Nets for Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 181-198, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot |
Minimality in a Linear Calculus with Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 163-179, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner |
Towards a Sharing Strategy for the Graph Rewriting Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 111-127, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Sakai, Yi Wang |
Undecidable Properties on Length-Two String Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRS@RDP ![In: Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007, pp. 53-69, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|