Electronic Notes in Theoretical Computer Science, Volume 204

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 204, April 2008

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2007)

- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Giesl08
- ask others
Jürgen Giesl:
Preface. 1-2
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/ThiemannM08
- ask others
René Thiemann, Aart Middeldorp:
Innermost Termination of Rewrite Systems by Labeling. 3-19
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/UchiyamaSS08
- ask others
Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe:
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. 21-34
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/SchernhammerG08
- ask others
Felix Schernhammer, Bernhard Gramlich:
Termination of Lazy Rewriting Revisited. 35-51
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/SakaiW08
- ask others
Masahiko Sakai, Yi Wang:
Undecidable Properties on Length-Two String Rewriting Systems. 53-69
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/MoreauR08
- ask others
Pierre-Etienne Moreau, Antoine Reilles:
Rules and Strategies in Java. 71-82
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/LucanuRG08
- ask others
Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras:
Regular Strategies as Proof Tactics for CIRC. 83-98
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Echahed08
- ask others
Rachid Echahed:
On Term-Graph Rewrite Strategies. 99-110
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/BaldanBCK08
- ask others
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Towards a Sharing Strategy for the Graph Rewriting Calculus. 111-127
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Sinot08a
- ask others
François-Régis Sinot:
Complete Laziness: a Natural Semantics. 129-145
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/Machkasova08
- ask others
Elena Machkasova:
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. 147-162
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/AlvesFMS08
- ask others
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot:
Minimality in a Linear Calculus with Iteration. 163-179
- view
  - electronic edition via DOI
- export record
  - BibTeX
  - RIS
  - RDF
  - XML
  dblp key:
  - journals/entcs/AlmeidaPV08
- ask others
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
Token-passing Nets for Functional Languages. 181-198