![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Journal of Functional and Logic Programming, Volume 2001
Volume 2001, Number 1-4, 2001
- Juan Carlos González Moreno, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo:
Polymorphic Types in Functional Logic Programming. J. Funct. Log. Program. 2001(1) (2001) - Michael Hanus, Salvador Lucas:
An Evaluation Semantics for Narrowing-Based Functional Logic Languages. J. Funct. Log. Program. 2001(2) (2001) - Ralf Hinze:
Polytypic Programming With Ease. J. Funct. Log. Program. 2001(3) (2001) - Olivier Ridoux, Patrice Boizumault:
Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. J. Funct. Log. Program. 2001(4) (2001)
Volume 2001, Number 5, 2001
- Guanshan Tong, Michael J. O'Donnell:
Leveled Garbage Collection.
Volume 2001, Number 6-10, 2001
- Daniel Diaz, Philippe Codognet:
Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. 2001(6) (2001) - Timothy J. Hickey:
Metalevel Interval Arithmetic and Verifiable Constraint Solving. J. Funct. Log. Program. 2001(7) (2001) - Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. 2001(8) (2001) - Bart Demoen, Konstantinos Sagonas:
Heap Memory Management in Prolog with Tabling: Principles and Practice. J. Funct. Log. Program. 2001(9) (2001) - Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
Implementation of a Linear Tabling Mechanism. J. Funct. Log. Program. 2001(10) (2001)
Volume 2001, Number 11, 2001
- Takahito Aoto:
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems.
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.