Electronic Notes in Theoretical Computer Science, Volume 290

Volume 290, December 2012

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/KnieselP12
- ask others
Günter Kniesel, Jorge Sousa Pinto: Preface. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlvesSV12
- ask others
Tiago L. Alves, Paulo F. Silva, Joost Visser: Constraint-aware Schema Transformation. 3-18
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BaeM12
- ask others
Kyungmin Bae, José Meseguer: A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. 19-36
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HendrixM12
- ask others
Joe Hendrix, José Meseguer: Order-sorted Equational Unification Revisited. 37-50
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HillsCR12
- ask others
Mark Hills, Feng Chen, Grigore Rosu: A Rewriting Logic Approach to Static Checking of Units of Measurement in C. 51-67
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Verma12
- ask others
Rakesh Verma: New Undecidability Results for Properties of Term Rewrite Systems. 69-85