Volume 246, August 2009
- Moreno Falaschi:
Preface.
1-2
- Sa'ed Abed, Otmane Aït Mohamed:
LCF-style Platform based on Multiway Decision Graphs.
3-26
- María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda:
Order-Sorted Generalization.
27-38
- Bernd Braßel:
A Technique to Build Debugging Tools for Lazy Functional Logic Languages.
39-53
- Diego Cheda, Josep Silva:
State of the Practice in Algorithmic Debugging.
55-70
- Tommaso Flaminio, Elisa B. P. Tiezzi:
On Metric Temporal Lukasiewicz Logic.
71-85
- Michael Gabbay, Murdoch James Gabbay:
Term Sequent Logic.
87-106
- Murdoch James Gabbay, Dominic P. Mulligan:
Two-level Lambda-calculus.
107-129
- Alexei Lescaylle, Alicia Villanueva:
A Tool for Generating a Symbolic Representation of tccp Executions.
131-145
- Dale Miller:
Formalizing Operational Semantic Specifications in Logic.
147-165
- Manuel Montenegro, Ricardo Peña-Marí, Clara Segura:
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.
167-182
- Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Extending Constructive Logic Negation with Types.
183-198
- Harald Zankl, Christian Sternagel, Aart Middeldorp:
Transforming SAT into Termination of Rewriting.
199-214
Last update Sat May 25 20:07:42 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
