Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Francisco Gutiérrez, Blas C. Ruiz |
Order Functional Pure Type Systems. ![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. 162-177, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya |
Declarative Reflection and its Application as a Pattern Language. ![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. 197-215, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Salvador Lucas |
Demandness in Rewriting and Narrowing. ![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. 42-51, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Wolfgang Lux |
Declarative Debugging for Encapsulated Search. ![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. 52-64, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Rossi |
Set-based Nondeterministic Declarative Programming in Singleton. ![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. 216-232, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Klaus Höppner |
Programming Autonomous Robots in Curry. ![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. 178-196, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Dovier, Matteo Burato, Federico Fogolari |
Using Secondary Structure Information for Protein Folding in CLP(FD). ![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. 83-98, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Rachid Echahed, Santiago Escobar 0001, Salvador Lucas |
Redundancy of Arguments Reduced to Induction. ![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. 20-41, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pim van Leeuwen, Henk Hesselink, Jos Rohling |
Scheduling Aircraft Using Constraint Satisfaction. ![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. 252-268, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Marco Comini, Moreno Falaschi |
Preface. ![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. 269-270, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Programmable Type Systems for Domain Specific Languages. ![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. 233-251, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver 0001, Germán Vidal |
Operational Semantics for Functional Logic Languages. ![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. 1-19, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky |
Probabilistic Constraint Handling Rules. ![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. 115-130, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno |
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. ![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. 65-82, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus (eds.) |
International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Marco Comini, Moreno Falaschi (eds.) |
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 308-309, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Mario Rodríguez-Artalejo |
A Declarative Debugging System for Lazy Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 113-175, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Pascual Julián Iranzo, Bart Massey |
Improving the Efficiency of Non-Deterministic Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 73-94, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Echahed, Wendelin Serwe |
Defining Actions in Concurrent Declarative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 176-194, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Francisco J. Correa, Moreno Falaschi |
A Debugging Scheme for Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 18-55, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Agustín Cernuda del Río |
Specification of Logic Programming Languages from Reusable Semantic Building Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 220-233, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Lazy Rewriting and Context-Sensitive Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 234-254, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Frank Huch |
Model Checking Erlang Programs - Abstracting Recursive Function Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 195-219, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Blanc, Wendelin Serwe |
Timed Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 95-112, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Palomino Tarjuelo |
Comparing Meseguer's Rewriting Logic with the Logic CRWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 255-276, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss |
JACK: A Java Constraint Kit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 1-17, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shinya Sato, Toru Sugimoto, Shinichi Yamada |
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 292-307, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernard J. Pope, Lee Naish |
Specialisation of Higher-Order Functions for Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 277-291, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Alves, Mário Florido |
Type Inference using Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers, pp. 56-72, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Edelmira Pasarella, Elvira Pino, Fernando Orejas |
Constructive negation without subsidiary trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 195-209, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | María Alpuente, Moreno Falaschi, Ginés Moreno, Germán Vidal |
Using PE to Automate Program Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 169-183, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 8-22, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Learning functional logic classification concepts from databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 296-308, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Elvira Albert, César Ferri, Frank Steiner, Germán Vidal |
List-Processing Optimizations in a Multi-Paradigm Declarative Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 184-194, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Herbert Kuchen |
Implementing an Object Oriented Design in Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 499-509, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Laurent Fribourg |
Petri Nets, Flat Languages and Linear Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 344-365, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Michael Hanus |
Server Side Web Scripting in Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 366-381, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Corrado Priami, Ugo Solitro |
Functional features of a calculus for logic and concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 144-153, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Salvador Lucas |
Strong and NV-sequentiality of constructor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 253-267, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Elvira Albert, Michael Hanus, Germán Vidal |
Realistic Program Specialization in a Multi-Paradigm Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 104-119, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin |
Theorem Proving and Programming with Dynamic First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 56-71, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Maria Teresa Hortalá-González, Eva Ullán |
An abstract machine based experimental system for a lazy narrowing calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 525-540, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Ricardo Pena |
Compiler Construction in a Functional Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 510-524, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Javier de Dios Castro, Juan Carlos González Moreno |
A Graphical Environment for Functional Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 404-417, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Alan Mycroft |
Logic Programming and Functional Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 1-7, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Viacheslav Wolfengagen |
Functional Notation for Indexed Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 72-88, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Francisco Durán 0001 |
The Reflective Design of Maude's Module Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 128-134, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Partial Predicates for Demand Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 324-339, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | José Hernández-Orallo, M. José Ramírez-Quintana |
The role of induction in (semi-)automated software life-cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 283-295, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Harold Boley |
Markup Languages for Functional-Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 391-403, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Pablo López, Ernesto Pimentel 0001 |
Proof-Theoretic Foundation of Hypothetical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 268-282, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Clara Benac Earle |
Symbolic program execution using the Erlang verification tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 42-55, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Cristóbal Pareja, Ricardo Pena, Fernando Rubio 0001, Clara Segura |
Optimizing Eden by Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 89-103, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Blas Carlos Ruiz-Giménez |
Expansion Postponement Problem for Pure Type Systems with Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 210-224, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Jan Kort, Ralf Lämmel, Joost Visser 0001 |
Functional Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 154-168, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Elvira Albert, Sergio Antoy, Germán Vidal |
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 120-127, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | María Alpuente (eds.) |
9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Mircea Marin, Tetsuo Ida, Taro Suzuki |
Higher-order Lazy Narrowing Calculi in Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 238-252, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Antonio J. Fernández 0001, Patricia M. Hill |
Constraint Propagation on Multiple Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 455-469, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Sabine Timpf, Werner Kuhn |
Functional Specifications of Multilevel Highway Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 480-485, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | André Rauber Du Bois, Antônio Carlos da Rocha Costa |
Functional Beans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 470-479, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Guido Gerding, Christoph Ruether, Werner Kuhn |
Advantages of using Functional Languages in specifying GIS operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 418-426, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Wolfgang Lux |
Adding Linear Constraints over Real Numbers to Curry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 427-439, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Ángel Herranz-Nieva, Juan José Moreno-Navarro |
On the Role of Functional-logic Languages for the Debugging of Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 23-41, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | María Alpuente, Santiago Escobar 0001, Salvador Lucas |
Redundancy Analyses in Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 309-323, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Salvador Lucas |
Redundant arguments in infinitary rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 340-343, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Peter A. Flach |
The Use of Functional and Logic Languages in Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 225-237, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Mircea Marin, Tetsuo Ida |
Cooperative Constraint Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 382-390, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Anthony Cox, Charles L. A. Clarke |
A Functional Approach to Complex Retrieval Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 486-498, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Javier Leach, Susana Nieva |
A Higher-Order Programming Language with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 440-454, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Larissa Ismailova, Sergey Kosikov, Konstantin Zinchenko, Alexey Mikhailov, Lioubouv Bourmistrova, Anastassiya Berezovskaya |
Equationally Expressed Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: 9th International Workshop on Functional and Logic Programming, WFLP'2000, Benicassim, Spain, September 28-30, 2000, pp. 135-143, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|