For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

11th WFLP 2002: Grado, Italy

> Home > Conferences and Workshops > WFLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/wflp/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/2002
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlbertHHOV02a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlbertHHOV02a
Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal:
Operational Semantics for Functional Logic Languages. 1-19
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlpuenteEEL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlpuenteEEL02
María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas:
Redundancy of Arguments Reduced to Induction. 20-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntoyL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntoyL02
Sergio Antoy, Salvador Lucas:
Demandness in Rewriting and Narrowing. 42-51
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CaballeroL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CaballeroL02
Rafael Caballero, Wolfgang Lux:
Declarative Debugging for Encapsulated Search. 52-64
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Delzanno02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Delzanno02
Giorgio Delzanno:
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. 65-82
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DovierBF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DovierBF02
Agostino Dovier, Matteo Burato, Federico Fogolari:
Using Secondary Structure Information for Protein Folding in CLP(FD). 83-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerrandLT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerrandLT02
Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction. 99-114
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FruhwirthPW02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FruhwirthPW02
Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky:
Probabilistic Constraint Handling Rules. 115-130
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GallardoMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GallardoMP02
María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel:
Comparing Under and Over-Approximations of LTL Properties for Model Checking. 131-144
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GentiliniPP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GentiliniPP02
Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Simulation Reduction as Constraint. 145-161
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GutierrezR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GutierrezR02
Francisco Gutiérrez, Blas C. Ruiz:
Order Functional Pure Type Systems. 162-177
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HanusH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HanusH02
Michael Hanus, Klaus Höppner:
Programming Autonomous Robots in Curry. 178-196
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HerranzMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HerranzMM02
Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya:
Declarative Reflection and its Application as a Pattern Language. 197-215
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Rossi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Rossi02
Gianfranco Rossi:
Set-based Nondeterministic Declarative Programming in Singleton. 216-232
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Thiemann02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Thiemann02
Peter Thiemann:
Programmable Type Systems for Domain Specific Languages. 233-251
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LeeuwenHR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LeeuwenHR02
Pim van Leeuwen, Henk Hesselink, Jos Rohling:
Scheduling Aircraft Using Constraint Satisfaction. 252-268
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CominiF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CominiF02
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.