More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

7th WRS@RDP 2007: Paris, France

> Home > Conferences and Workshops > WRS
> Home > Conferences and Workshops > RDP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/wrs/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrs/2007
Jürgen Giesl:
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RDP 2007, Paris, France, June 25, 2007. Electronic Notes in Theoretical Computer Science 204, Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Giesl08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Giesl08
Jürgen Giesl:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ThiemannM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ThiemannM08
René Thiemann, Aart Middeldorp:
Innermost Termination of Rewrite Systems by Labeling. 3-19
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/UchiyamaSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/UchiyamaSS08
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 (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SchernhammerG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SchernhammerG08
Felix Schernhammer, Bernhard Gramlich:
Termination of Lazy Rewriting Revisited. 35-51
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SakaiW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SakaiW08
Masahiko Sakai, Yi Wang:
Undecidable Properties on Length-Two String Rewriting Systems. 53-69
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MoreauR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MoreauR08
Pierre-Etienne Moreau, Antoine Reilles:
Rules and Strategies in Java. 71-82
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LucanuRG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LucanuRG08
Dorel Lucanu, Grigore Rosu, Gheorghe Grigoras:
Regular Strategies as Proof Tactics for CIRC. 83-98
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Echahed08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Echahed08
Rachid Echahed:
On Term-Graph Rewrite Strategies. 99-110
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldanBCK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldanBCK08
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner:
Towards a Sharing Strategy for the Graph Rewriting Calculus. 111-127
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Sinot08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Sinot08a
François-Régis Sinot:
Complete Laziness: a Natural Semantics. 129-145
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Machkasova08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Machkasova08
Elena Machkasova:
Computational Soundness of a Call by Name Calculus of Recursively-scoped Records. 147-162
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlvesFMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlvesFMS08
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 (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlmeidaPV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlmeidaPV08
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça:
Token-passing Nets for Functional Languages. 181-198

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.