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}
}

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.