Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WRS@RDP"( http://dblp.L3S.de/Venues/WRS@RDP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wrs

Publication years (Num. hits)
2007 (13) 2008 (1)
Publication types (Num. hits)
inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
WRS@RDP(14)
Authors
François-Régis Sinot(2) Jürgen Giesl(2) Masahiko Sakai(2) Aart Middeldorp(1) Antoine Reilles(1) Bernhard Gramlich(1) Clara Bertolissi(1) Claude Kirchner(1) Dorel Lucanu(1) Elena Machkasova(1) Felix Schernhammer(1) Gheorghe Grigoras(1) Grigore Rosu(1) Horatiu Cirstea(1) Ian Mackie(1) Jorge Sousa Pinto(1) More (+10 of total 27)
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
1Jü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 WRS@RDP The full citation details ... 2008 DBLP  BibTeX  RDF
1René Thiemann, Aart Middeldorp Innermost Termination of Rewrite Systems by Labeling. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras Regular Strategies as Proof Tactics for CIRC. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Pierre-Etienne Moreau, Antoine Reilles Rules and Strategies in Java. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Elena Machkasova Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Felix Schernhammer, Bernhard Gramlich Termination of Lazy Rewriting Revisited. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jürgen Giesl Preface. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1François-Régis Sinot Complete Laziness: a Natural Semantics. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rachid Echahed On Term-Graph Rewrite Strategies. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça Token-passing Nets for Functional Languages. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot Minimality in a Linear Calculus with Iteration. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner Towards a Sharing Strategy for the Graph Rewriting Calculus. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Masahiko Sakai, Yi Wang Undecidable Properties on Length-Two String Rewriting Systems. Search on Bibsonomy WRS@RDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (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