EPTCS 44 - IWS 2010

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-5337
- ask others
Hélène Kirchner, César A. Muñoz (Eds.): Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming. 2010 EPTCS 44 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-5560
- ask others
Maribel Fernández, Olivier Namet: Strategic programming on graph rewriting systems. ... 1-20
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-5561
- ask others
Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Properties of Exercise Strategies. ... 21-34
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-5562
- ask others
Bernhard Gramlich, Felix Schernhammer: Termination of Rewriting with and Automated Synthesis of Forbidden Patterns. ... 35-50
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1012-5563
- ask others
René Thiemann, Christian Sternagel, Jürgen Giesl, Peter Schneider-Kamp: Loops under Strategies ... Continued. ... 51-65