default search action

combined dblp search
author search
venue search
publication search

ask others

8th WRS@RTA 2008: Hagenberg, Austria

> Home > Conferences and Workshops > WRS
> Home > Conferences and Workshops > RTA

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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wrs/2008
Aart Middeldorp:
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July 14, 2008. Electronic Notes in Theoretical Computer Science 237, Elsevier 2009
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Middeldorp09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Middeldorp09
Aart Middeldorp:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/RaffelsieperZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/RaffelsieperZ09
Matthias Raffelsieper, Hans Zantema:
A Transformational Approach to Prove Outermost Termination Automatically. 3-21
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GasconGJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GasconGJ09
Adrià Gascón, Guillem Godoy, Florent Jacquemard:
Closure of Tree Automata Languages under Innermost Rewriting. 23-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NishidaS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NishidaS09
Naoki Nishida, Masahiko Sakai:
Completion after Program Inversion of Injective Functions. 39-56
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandezS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandezS09
Maribel Fernández, Nikolaos Siafakas:
New Developments in Environment Machines. 57-73
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FalkeK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FalkeK09
Stephan Falke, Deepak Kapur:
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. 75-90
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HeerenJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HeerenJ09
Bastiaan Heeren, Johan Jeuring:
Recognizing Strategies. 91-106
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lucanu09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lucanu09
Dorel Lucanu:
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions. 107-125

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.