


Остановите войну!
for scientists:


default search action
Journal of Functional and Logic Programming, Volume 1998
Volume 1998, Number 1, 1998
- Salvador Lucas:
Context-sensitive Computations in Functional and Functional Logic Programs.
Volume 1998, Number 2, 1998
- Peter J. Stuckey, Vincent W. L. Tam:
Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming.
Volume 1998, Number 3, April 1998
- Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling.
Volume 1998, Number 4, May 1998
- Heinz Faßbender, Sebastian Maneth:
A Strict Border for the Decidability of E-Unification for Recursive Functions.
Volume 1998, Number 5, June 1998
- Fairouz Kamareddine, Alejandro Ríos, J. B. Wells:
Calculi of Generalized beta-Reduction and Explicit Substitutions: The Type-Free and Simply Typed Versions.
Volume 1998, Number 6, December 1998
- Cesare Tinelli, Mehdi T. Harandi:
Constraint Logic Programming over Unions of Constraint Theories.
Volume 1998, Number 7, December 1998
- Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh:
Improved Register Usage for Functional Programs through Multiple Function Versions.

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.