Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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.
a service of 
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.
last updated on 2024-04-25 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
