


default search action
11th WFLP 2002: Grado, Italy
- Marco Comini, Moreno Falaschi:
11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002. Electronic Notes in Theoretical Computer Science 76, Elsevier 2002 - Elvira Albert, Michael Hanus
, Frank Huch, Javier Oliver
, Germán Vidal
:
Operational Semantics for Functional Logic Languages. 1-19 - María Alpuente
, Rachid Echahed, Santiago Escobar
, Salvador Lucas
:
Redundancy of Arguments Reduced to Induction. 20-41 - Sergio Antoy, Salvador Lucas
:
Demandness in Rewriting and Narrowing. 42-51 - Rafael Caballero
, Wolfgang Lux:
Declarative Debugging for Encapsulated Search. 52-64 - Giorgio Delzanno:
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. 65-82 - Agostino Dovier
, Matteo Burato, Federico Fogolari
:
Using Secondary Structure Information for Protein Folding in CLP(FD). 83-98 - Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. 99-114 - Thom W. Frühwirth, Alessandra Di Pierro
, Herbert Wiklicky:
Probabilistic Constraint Handling Rules. 115-130 - María-del-Mar Gallardo, Pedro Merino
, Ernesto Pimentel
:
Comparing Under and Over-Approximations of LTL Properties for Model Checking. 131-144 - Raffaella Gentilini, Carla Piazza
, Alberto Policriti
:
Simulation Reduction as Constraint. 145-161 - Francisco Gutiérrez
, Blas C. Ruiz:
Order Functional Pure Type Systems. 162-177 - Michael Hanus
, Klaus Höppner:
Programming Autonomous Robots in Curry. 178-196 - Ángel Herranz-Nieva
, Juan José Moreno-Navarro, N. Maya:
Declarative Reflection and its Application as a Pattern Language. 197-215 - Gianfranco Rossi:
Set-based Nondeterministic Declarative Programming in Singleton. 216-232 - Peter Thiemann:
Programmable Type Systems for Domain Specific Languages. 233-251 - Pim van Leeuwen, Henk Hesselink
, Jos Rohling
:
Scheduling Aircraft Using Constraint Satisfaction. 252-268 - Marco Comini
, Moreno Falaschi
:
Preface. 269-270

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.