Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michael Hanus, Claudio Sacerdoti Coen (eds.) |
Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Springer, 978-3-030-75332-0 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Finn Teegen |
Memoized Pull-Tabbing for Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 57-73, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Baltasar Trancón y Widemann, Markus Lepper 0001 |
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 22-38, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Körner, David Schneider 0001, Michael Leuschel |
On the Performance of Bytecode Interpreters in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 41-56, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Dubois |
Formally Verified Transformation of Non-binary Constraints into Binary Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 117-128, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Westphal |
A Framework for Generating Diverse Haskell-I/O Exercise Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 97-114, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Wingen, Philipp Körner |
Effectiveness of Annotation-Based Static Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 74-93, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Winkelmann, Jan C. Dageförde, Herbert Kuchen |
Constraint-Logic Object-Oriented Programming with Free Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 129-144, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Linda Brodo, Roberto Bruni, Moreno Falaschi |
SOS Rules for Equivalences of Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers, pp. 3-21, 2020, Springer, 978-3-030-75332-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Josep Silva (eds.) |
Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Springer, 978-3-030-16201-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paventhan Vivekanandan |
Code Generation for Higher Inductive Types - A Study in Agda Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 18-35, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus, Finn Teegen |
Synthesizing Set Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 93-111, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ingmar Dasseville, Marc Denecker |
Transpiling Programming Computable Functions to Answer Set Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 3-17, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lars-Åke Fredlund, Julio Mariño, Sergio Pérez 0001, Salvador Tamarit |
Runtime Verification in Erlang by Using Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 56-73, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jan C. Dageförde |
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 131-144, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Henning Christiansen 0001, Maja H. Kirkeby |
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 112-130, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Ulm, Emil Gustavsson, Mats Jirstrand |
Functional Federated Learning in Erlang (ffl-erl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 162-178, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner |
Measuring Coverage of Prolog Programs Using Mutation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 39-55, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Pérez 0001, Salvador Tamarit |
Enhancing POI Testing Through the Use of Additional Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 74-90, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ingmar Dasseville, Gerda Janssens |
FMS: Functional Programming as a Modelling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers, pp. 145-161, 2018, Springer, 978-3-030-16201-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tim A. Majchrzak, Herbert Kuchen |
Logic Java: Combining Object-Oriented and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 122-137, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Kuchen (eds.) |
Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Springer, 978-3-642-22530-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey |
Memoizing a Monadic Mixin DSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 68-85, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
XQuery in the Functional-Logic Language Toy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 35-51, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tsubasa Sakata, Naoki Nishida 0001, Toshiki Sakabe |
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 138-155, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
New Functional Logic Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 19-34, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck 0002 |
KiCS2: A New Compiler from Curry to Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 1-18, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Peña, Agustin D. Delgado-Muñoz |
Size Invariant and Ranking Function Synthesis in a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 52-67, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vitor Rodrigues, Mário Florido, Simão Melo de Sousa |
A Functional Approach to Worst-Case Execution Time Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 86-103, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Claus Zinn |
Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings, pp. 104-121, 2011, Springer, 978-3-642-22530-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Julio Mariño (eds.) |
Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Springer, 978-3-642-20774-7 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pieter Wuille, Tom Schrijvers |
Parameterized Models for On-Line and Off-Line Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 101-118, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Lazy and Enforceable Assertions for Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 84-100, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel, Sebastian Fischer 0001, Michael Hanus, Fabian Reck 0002 |
Transforming Functional Logic Programs into Monadic Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 30-47, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001 (eds.) |
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Springer, 978-3-642-11998-9 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | George Giorgidze, Henrik Nilsson |
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 48-65, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lescaylle, Alicia Villanueva |
Bridging the Gap between Two Concurrent Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 155-173, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michele Baggi, Demis Ballis, Moreno Falaschi |
An Access Control Language Based on Term Rewriting and Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 66-83, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Patai |
Efficient and Compositional Higher-Order Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 137-154, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen, Daniel Seidel, Janis Voigtländer |
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 119-136, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic |
Types for Role-Based Access Control of Dynamic Web Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming - 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers, pp. 1-29, 2010, Springer, 978-3-642-20774-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rafael del Vado Vírseda, Ignacio Castiñeiras |
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 162-178, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá |
New Results on Type Systems for Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 128-144, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Hernández-Gutiérrez |
A Taxonomy of Some Right-to-Left String-Matching Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 79-95, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Leuschel, Salvador Tamarit, Germán Vidal |
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 111-127, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Ricardo Peña-Marí, Clara Segura |
A Simple Region Inference Algorithm for a First-Order Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 145-161, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Ierusalimschy |
Programming with Multiple Paradigms in Lua. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 1-12, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Falke 0001, Deepak Kapur |
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 44-61, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi (eds.) |
Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Claude Kirchner, Florent Kirchner, Hélène Kirchner |
Constraint Based Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 13-26, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Kato, Koji Nakazawa |
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 96-110, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Castiñeiras, Fernando Sáenz-Pérez |
Integrating ILOG CP Technology into TOY\mathcal{TOY}. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 27-43, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Semantic Labelling for Proving Termination of Combinatory Reduction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers, pp. 62-78, 2009, Springer, 978-3-642-11998-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sa'ed Abed, Otmane Aït Mohamed |
LCF-style Platform based on Multiway Decision Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 3-26, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Montenegro, Ricardo Peña-Marí, Clara Segura |
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 167-182, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lescaylle, Alicia Villanueva |
A Tool for Generating a Symbolic Representation of tccp Executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 131-145, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Flaminio, Elisa B. P. Tiezzi |
On Metric Temporal Lukasiewicz Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 71-85, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Harald Zankl, Christian Sternagel, Aart Middeldorp |
Transforming SAT into Termination of Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 199-214, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gabbay 0001, Murdoch James Gabbay |
Term Sequent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 87-106, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel |
A Technique to Build Debugging Tools for Lazy Functional Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 39-53, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Diego Cheda, Josep Silva |
State of the Practice in Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 55-70, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Formalizing Operational Semantic Specifications in Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 147-165, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Murdoch James Gabbay, Dominic P. Mulligan |
Two-level Lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 107-129, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, José Meseguer 0001, Pedro Ojeda |
Order-Sorted Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 27-38, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Juan José Moreno-Navarro |
Extending Constructive Logic Negation with Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2008, Siena, Italy, July 3-4, 2008, pp. 183-198, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas (eds.) |
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Santiago Escobar 0001, José Meseguer 0001, Prasanna Thati |
Narrowing and Rewriting Logic: from Foundations to Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 5-33, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza |
A Proposal for Disequality Constraints in Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 269-285, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Fischer 0001 |
Lazy Database Access with Persistent Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 185-200, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Vítor Nogueira, Salvador Abreu |
Temporal Contextual Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 219-233, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 235-252, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 1-3, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Diego Cheda, Josep Silva, Germán Vidal |
Static Slicing of Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 123-136, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Yolanda García-Ruiz |
Implementing Dynamic-Cut in TOY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 153-168, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Clara Segura, Carmen Torrano |
Using Template Haskell for Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 201-217, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Berghammer, Sebastian Fischer 0001 |
Implementing Relational Specifications in a Constraint Functional Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 169-183, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Christian Hermanns, Herbert Kuchen |
Algorithmic Debugging of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 75-89, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Braßel |
A Framework for Interpreting Traces of Functional Logic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 91-106, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Reporting Failures in Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 59-73, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Parissa H. Sadeghi, Frank Huch |
The Interactive Curry Observation Debugger iCODE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 107-122, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Peter Padawitz |
Expander2: Program Verification Between Interaction and Automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 35-57, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ramón González del Campo, Fernando Sáenz-Pérez |
Programmed Search in a Timetabling Problem over Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 253-267, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Ochoa, Germán Puebla |
A Study on the Practicality of Poly-Controlled Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 137-151, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Nishida 0001, Masahiko Sakai, Toshiki Sakabe |
Narrowing-based simulation of term rewriting systems with extra variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 52-69, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alcino Cunha |
Automatic visualization of recursion trees: a case study on generic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 70-84, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jan Maluszynski |
On integrating rules into the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 1-11, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández |
Failure and equality in functional logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 123-143, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Klaus Höppner, Frank Huch |
Towards translating embedded Curry to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 35-51, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Demis Ballis, Santiago Escobar 0001, Moreno Falaschi, Salvador Lucas |
Abstract correction of first-order functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 105-122, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Tolmach, Sergio Antoy |
A monadic semantics for core Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 16-34, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Demis Ballis, Moreno Falaschi, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Cost-sensitive diagnosis of declarative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 85-104, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ginés Moreno |
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 144-167, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Rusinowitch |
Automated analysis of security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 12-15, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 205-206, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón |
A safe relational calculus for functional logic deductive databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003, pp. 168-204, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim, Orna Grumberg (eds.) |
12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, in connection with RDP'03, Federated Conference on Rewriting, Deduction and Programming, Boulder, Colorado, USA, July 14, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001 |
Comparing Under and Over-Approximations of LTL Properties for Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002, pp. 131-144, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Ferrand, Willy Lesaint, Alexandre Tessier |
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002, pp. 99-114, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
Simulation Reduction as Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002, pp. 145-161, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|