default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th WFLP / 16th WLP 2001: Kiel, Germany
- Michael Hanus:
International Workshop on Functional and (Constraint) Logic Programming, WFLP 2001, Kiel, Germany, September 13-15, 2001, Selected Papers. Electronic Notes in Theoretical Computer Science 64, Elsevier 2002 - Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss:
JACK: A Java Constraint Kit. 1-17 - María Alpuente
, Francisco J. Correa, Moreno Falaschi:
A Debugging Scheme for Functional Logic Programs. 18-55 - Sandra Alves, Mário Florido:
Type Inference using Constraint Handling Rules. 56-72 - Sergio Antoy, Pascual Julián Iranzo, Bart Massey:
Improving the Efficiency of Non-Deterministic Computations. 73-94 - Jérémie Blanc, Wendelin Serwe:
Timed Term Rewrite Systems. 95-112 - Rafael Caballero, Mario Rodríguez-Artalejo:
A Declarative Debugging System for Lazy Functional Logic Programs. 113-175 - Rachid Echahed, Wendelin Serwe:
Defining Actions in Concurrent Declarative Programming. 176-194 - Frank Huch:
Model Checking Erlang Programs - Abstracting Recursive Function Calls. 195-219 - 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. 220-233 - Salvador Lucas:
Lazy Rewriting and Context-Sensitive Rewriting. 234-254 - Miguel Palomino Tarjuelo:
Comparing Meseguer's Rewriting Logic with the Logic CRWL. 255-276 - Bernard J. Pope, Lee Naish:
Specialisation of Higher-Order Functions for Debugging. 277-291 - Shinya Sato, Toru Sugimoto, Shinichi Yamada:
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. 292-307 - Michael Hanus:
Preface. 308-309
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-11-25 22:46 CET 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:
