![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Functional and Logic Programming, Volume 1999
Volume 1999, Number 1, 1999
- Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries:
Meaningless Terms in Rewriting.
Volume 1999, Number 2, 1999
- Gopalan Nadathur:
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations.
Volume 1999, Number 3, 1999
- John W. Lloyd:
Programming in an Integrated Functional and Logic Language.
Volume 1999, Special Issue 1, 1999
- Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers:
An Extension of the WAM for Hybrid Interval Solvers. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Kish Shen, Vítor Santos Costa, Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Michael Hanus, Ramin Sadre:
An Abstract Machine for Curry and Its Concurrent Implementation in Java. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Enrico Pontelli, Gopal Gupta:
Extended Dynamic Dependent And-Parallelism in ACE. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Tobias Müller, Jörg Würtz:
Embedding Propagators in a Concurrent Constraint Language. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - Gopalan Nadathur, Guanshan Tong:
Realizing Modularity in lambdaProlog. J. Funct. Log. Program. 1999(Special Issue 1) (1999)
Volume 1999, Number 10, 1999
- Davide Aliffi, Agostino Dovier, Gianfranco Rossi:
From Set to Hyperset Unification.
Volume 1999, Number 11, 1999
- Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing:
Semantic Matching for Left-Linear Convergent Rewrite Systems.
Volume 1999, Special Issue 2, 1999
- Catuscia Palamidessi:
Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker:
Detecting Unsolvable Queries for Definite Logic Programs. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Delia Kesner, Pablo E. Martínez López:
Explicit Substitutions for Objects and Functions. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Enrico Pontelli, Desh Ranjan, Gopal Gupta:
Complexity Analysis of Late Binding in Dynamic Object-Oriented Languages. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Bart Demoen, Konstantinos Sagonas:
CAT: The Copying Approach to Tabling. J. Funct. Log. Program. 1999(Special Issue 2) (1999) - Wim Vanhoof, Danny De Schreye, Bern Martens:
Bottom-up Partial Deduction of Logic Programs. J. Funct. Log. Program. 1999(Special Issue 2) (1999)
![](https://dblp1.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.