EPTCS 21 - RULE 2009

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5758
- ask others
Ian Mackie, Anamaria Martins Moreira (Eds.): Proceedings Tenth International Workshop on Rule-Based Programming. 2009 EPTCS 21 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4326
- ask others
Maribel Fernández, Olivier Namet: Graph Creation, Visualisation and Transformation. ... 1-11
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4562
- ask others
Abubakar Hassan, Eugen Jiresch, Shinya Sato: An Implementation of Nested Pattern Matching in Interaction Nets. ... 13-25
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4563
- ask others
Detlef Plump, Sandra Steinert: The Semantics of Graph Programs. ... 27-38
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4090
- ask others
Rodrigo Machado, Reiko Heckel, Leila Ribeiro: Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars. ... 39-50
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4799
- ask others
Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares: A Type System for Tom. ... 51-63
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4800
- ask others
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni, Rohit Gheyi: Object-oriented Programming Laws for Annotated Java Programs. ... 65-76
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5350
- ask others
Daniel J. Dougherty: An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications. ... 77-89
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4802
- ask others
João Marcos: Automatic Generation of Proof Tactics for Finite-Valued Logics. ... 91-98
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-4803
- ask others
Benoît Boyer, Thomas Genet: Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems. ... 99-108