Search dblp for Publications

export results for "toc:db/journals/jflp/jflp1999.bht:"

 download as .bib file

@article{DBLP:journals/jflp/AliffiDR99,
  author       = {Davide Aliffi and
                  Agostino Dovier and
                  Gianfranco Rossi},
  title        = {From Set to Hyperset Unification},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {10},
  year         = {1999},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-10/A99-10.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/AliffiDR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/BruynoogheVWD99,
  author       = {Maurice Bruynooghe and
                  Henk Vandecasteele and
                  D. Andre de Waal and
                  Marc Denecker},
  title        = {Detecting Unsolvable Queries for Definite Logic Programs},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 2},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/BruynoogheVWD99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/ButowGOT99,
  author       = {Bernd B{\"{u}}tow and
                  Robert Giegerich and
                  Enno Ohlebusch and
                  Stephan Thesing},
  title        = {Semantic Matching for Left-Linear Convergent Rewrite Systems},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {11},
  year         = {1999},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-11/A99-11.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/ButowGOT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/DemoenS99,
  author       = {Bart Demoen and
                  Konstantinos Sagonas},
  title        = {{CAT:} The Copying Approach to Tabling},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 2},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/DemoenS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/GoualardBG99,
  author       = {Fr{\'{e}}d{\'{e}}ric Goualard and
                  Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Laurent Granvilliers},
  title        = {An Extension of the {WAM} for Hybrid Interval Solvers},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 1},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/GoualardBG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/HanusS99,
  author       = {Michael Hanus and
                  Ramin Sadre},
  title        = {An Abstract Machine for Curry and Its Concurrent Implementation in
                  Java},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 1},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/HanusS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/KennawayOV99,
  author       = {Richard Kennaway and
                  Vincent van Oostrom and
                  Fer{-}Jan de Vries},
  title        = {Meaningless Terms in Rewriting},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {1},
  year         = {1999},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-01/A99-01.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/KennawayOV99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/KesnerL99,
  author       = {Delia Kesner and
                  Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
  title        = {Explicit Substitutions for Objects and Functions},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 2},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/KesnerL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/Lloyd99,
  author       = {John W. Lloyd},
  title        = {Programming in an Integrated Functional and Logic Language},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {3},
  year         = {1999},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-03/A99-03.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Lloyd99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/MullerW99,
  author       = {Tobias M{\"{u}}ller and
                  J{\"{o}}rg W{\"{u}}rtz},
  title        = {Embedding Propagators in a Concurrent Constraint Language},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 1},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/MullerW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/Nadathur99,
  author       = {Gopalan Nadathur},
  title        = {A Fine-Grained Notation for Lambda Terms and Its Use in Intensional
                  Operations},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {2},
  year         = {1999},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/A99-02/A99-02.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Nadathur99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/NadathurT99,
  author       = {Gopalan Nadathur and
                  Guanshan Tong},
  title        = {Realizing Modularity in lambdaProlog},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 1},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/NadathurT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/Palamidessi99,
  author       = {Catuscia Palamidessi},
  title        = {Editorial: Selected Papers from the Joint International Symposium
                  PLILP/ALP'98},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 2},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/Palamidessi99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/PontelliG99,
  author       = {Enrico Pontelli and
                  Gopal Gupta},
  title        = {Extended Dynamic Dependent And-Parallelism in {ACE}},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 1},
  year         = {1999},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/PontelliG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/PontelliRG99,
  author       = {Enrico Pontelli and
                  Desh Ranjan and
                  Gopal Gupta},
  title        = {Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 2},
  year         = {1999},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/PontelliRG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/ShenCK99,
  author       = {Kish Shen and
                  V{\'{\i}}tor Santos Costa and
                  Andy King},
  title        = {Distance: {A} New Metric for Controlling Granularity for Parallel
                  Execution},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 1},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/ShenCK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jflp/VanhoofSM99,
  author       = {Wim Vanhoof and
                  Danny De Schreye and
                  Bern Martens},
  title        = {Bottom-up Partial Deduction of Logic Programs},
  journal      = {J. Funct. Log. Program.},
  volume       = {1999},
  number       = {Special Issue 2},
  year         = {1999},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/VanhoofSM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.