Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jflp/Aoto01,
  author    = {Takahito Aoto},
  title     = {Solution to the Problem of Zantema on a Persistent Property of Term
               Rewriting Systems},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {11},
  year      = {2001},
  url       = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/A2001-11/A2001-11.html},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/Aoto01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/DemoenS01,
  author    = {Bart Demoen and
               Konstantinos Sagonas},
  title     = {Heap Memory Management in Prolog with Tabling: Principles and Practice},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {9},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/DemoenS01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/DiazC01,
  author    = {Daniel Diaz and
               Philippe Codognet},
  title     = {Design and Implementation of the {GNU} Prolog System},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {6},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/DiazC01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Gonzalez-MorenoHR01,
  author    = {Juan Carlos Gonz{\'{a}}lez Moreno and
               Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Polymorphic Types in Functional Logic Programming},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {1},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/Gonzalez-MorenoHR01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/HanusL01,
  author    = {Michael Hanus and
               Salvador Lucas},
  title     = {An Evaluation Semantics for Narrowing-Based Functional Logic Languages},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {2},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/HanusL01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Hickey01,
  author    = {Timothy J. Hickey},
  title     = {Metalevel Interval Arithmetic and Verifiable Constraint Solving},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {7},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/Hickey01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Hinze01,
  author    = {Ralf Hinze},
  title     = {Polytypic Programming With Ease},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {3},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/Hinze01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/HuCT01,
  author    = {Zhenjiang Hu and
               Wei{-}Ngan Chin and
               Masato Takeichi},
  title     = {Calculating a New Data Mining Algorithm for Market Basket Analysis},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {8},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/HuCT01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/RidouxB01,
  author    = {Olivier Ridoux and
               Patrice Boizumault},
  title     = {Typed Static Analysis: Application to the Groundness Analysis of Typed
               Prolog},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {4},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/RidouxB01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/TongO01,
  author    = {Guanshan Tong and
               Michael J. O'Donnell},
  title     = {Leveled Garbage Collection},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {5},
  year      = {2001},
  url       = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/A2001-05/A2001-05.html},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/TongO01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/ZhouSYY01,
  author    = {Neng{-}Fa Zhou and
               Yi{-}Dong Shen and
               Li{-}Yan Yuan and
               Jia{-}Huai You},
  title     = {Implementation of a Linear Tabling Mechanism},
  journal   = {J. Funct. Log. Program.},
  volume    = {2001},
  number    = {10},
  year      = {2001},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jflp/ZhouSYY01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics