Search dblp for Publications

• > Home > Search

@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    = {Fri, 10 Nov 2023 00:00:00 +0100},
  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}
}