default search action

combined dblp search
author search
venue search
publication search

ask others

10th WFLP / 16th WLP 2001: Kiel, Germany

> Home > Conferences and Workshops > WFLP
> Home > Conferences and Workshops > WLP

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/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wflp/2001
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AbdennadherKSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AbdennadherKSS02
Slim Abdennadher, Ekkerhard Krämer, Matthias Saft, Matthias Schmauss:
JACK: A Java Constraint Kit. 1-17
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlpuenteCF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlpuenteCF02
María Alpuente, Francisco J. Correa, Moreno Falaschi:
A Debugging Scheme for Functional Logic Programs. 18-55
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlvesF02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlvesF02
Sandra Alves, Mário Florido:
Type Inference using Constraint Handling Rules. 56-72
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntoyIM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntoyIM02
Sergio Antoy, Pascual Julián Iranzo, Bart Massey:
Improving the Efficiency of Non-Deterministic Computations. 73-94
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlancS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlancS02
Jérémie Blanc, Wendelin Serwe:
Timed Term Rewrite Systems. 95-112
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CaballeroR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CaballeroR02
Rafael Caballero, Mario Rodríguez-Artalejo:
A Declarative Debugging System for Lazy Functional Logic Programs. 113-175
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EchahedS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EchahedS02
Rachid Echahed, Wendelin Serwe:
Defining Actions in Concurrent Declarative Programming. 176-194
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Huch02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Huch02
Frank Huch:
Model Checking Erlang Programs - Abstracting Recursive Function Calls. 195-219
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GayoLDR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GayoLDR02
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lucas02a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lucas02a
Salvador Lucas:
Lazy Rewriting and Context-Sensitive Rewriting. 234-254
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Tarjuelo02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Tarjuelo02
Miguel Palomino Tarjuelo:
Comparing Meseguer's Rewriting Logic with the Logic CRWL. 255-276
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PopeN02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PopeN02
Bernard J. Pope, Lee Naish:
Specialisation of Higher-Order Functions for Debugging. 277-291
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SatoSY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SatoSY02
Shinya Sato, Toru Sugimoto, Shinichi Yamada:
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine. 292-307
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hanus02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hanus02
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.