Electronic Notes in Theoretical Computer Science, Volume 246

Volume 246, August 2009

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Falaschi09
- ask others
Moreno Falaschi: Preface. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AbedM09
- ask others
Sa'ed Abed, Otmane Aït Mohamed: LCF-style Platform based on Multiway Decision Graphs. 3-26
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlpuenteEMO09
- ask others
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda: Order-Sorted Generalization. 27-38
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Brassel09
- ask others
Bernd Braßel: A Technique to Build Debugging Tools for Lazy Functional Logic Languages. 39-53
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/ChedaS09
- ask others
Diego Cheda, Josep Silva: State of the Practice in Algorithmic Debugging. 55-70
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FlaminioT09
- ask others
Tommaso Flaminio, Elisa B. P. Tiezzi: On Metric Temporal Lukasiewicz Logic. 71-85
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GabbayG09
- ask others
Michael Gabbay, Murdoch James Gabbay: Term Sequent Logic. 87-106
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GabbayM09
- ask others
Murdoch James Gabbay, Dominic P. Mulligan: Two-level Lambda-calculus. 107-129
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/LescaylleV09
- ask others
Alexei Lescaylle, Alicia Villanueva: A Tool for Generating a Symbolic Representation of tccp Executions. 131-145
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Miller09
- ask others
Dale Miller: Formalizing Operational Semantic Specifications in Logic. 147-165
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MontenegroPS09
- ask others
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura: A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. 167-182
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Munoz-HernandezM09
- ask others
Susana Muñoz-Hernández, Juan José Moreno-Navarro: Extending Constructive Logic Negation with Types. 183-198
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/ZanklSM09
- ask others
Harald Zankl, Christian Sternagel, Aart Middeldorp: Transforming SAT into Termination of Rewriting. 199-214