default search action
Search dblp for Publications
export results for "toc:db/journals/jflp/jflp2001.bht:"
@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} }
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.