default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Functional and Logic Programming, Volume 2004

> Home > Journals > Journal of Functional and Logic Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 2004, 2004

- view
  - electronic edition @ uni-muenster.de (open access)
  - details & citations
- export record
  dblp key:
  - journals/jflp/DanvyS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/DanvyS04
Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Lifting in Quadratic Time.
- view
  - electronic edition @ uni-muenster.de
  - details & citations
- export record
  dblp key:
  - journals/jflp/OsorioNJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/OsorioNJ04
Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman:
Aggregation in Functional Query Languages.
- view
  - electronic edition @ uni-muenster.de
  - details & citations
- export record
  dblp key:
  - journals/jflp/Peltier04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/Peltier04
Nicolas Peltier:
A Proof Procedure for Functional First Order Logic Programs with Non-Deterministic Lazy Functions and Built-in Predicates.

Selected contributions from the 13th International Workshop on Functional and (Constraint) Logic Prorammings

- view
  - electronic edition @ uni-muenster.de (open access)
  - details & citations
- export record
  dblp key:
  - journals/jflp/Garcia-DiazN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/Garcia-DiazN04
Miguel García-Díaz, Susana Nieva:
Formalizing Two Fixed Point Semantics for HH(C).
- view
  - electronic edition @ uni-muenster.de (open access)
  - details & citations
- export record
  dblp key:
  - journals/jflp/Hanus04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/Hanus04
Michael Hanus:
Dynamic Predicates in Functional Logic Programs.
- view
  - electronic edition @ uni-muenster.de (open access)
  - details & citations
- export record
  dblp key:
  - journals/jflp/BrasselHH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jflp/BrasselHH04
Bernd Braßel, Michael Hanus, Frank Huch:
Encapsulating Non-Determinism in Functional Logic Computations.

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.