Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th 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
a service of 
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-04-18 20:19 CEST 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:
