default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th WFLP 2008: Siena, Italy
- Moreno Falaschi:
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008. Electronic Notes in Theoretical Computer Science 246, Elsevier 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
