S.Sripada
On Entropy and the Limitations of the Second Law of Thermodynamics
1996-09
Michael Hanus (Ed.)
Proceedings of the Poster Session of ALP96 - Fifth International Conference on Algebraic and Logic Programming
1996-09-0
Michael Hanus (Ed.)
Proceedings of the Poster Session of ALP 96 - Fifth International Conference on Algebraic and Logic Programming: Introduction and table of contents
1996-09-1
Ilies Alouini
An Implementation of Conditional Concurrent Rewriting on Distributed Memory Machines
Paper:
1996-09-2
Olivier Danvy,
Karoline Malmkjær
On the Idempotence of the CPS Transformation
Paper:
1996-09-3
Víctor M. Gulías,
José L. Freire
Concurrent Programming in Haskell
Paper:
1996-09-4
Sébastien Limet,
Pierre Réty
On Decidability of Unifiability Modulo Rewrite Systems
Paper:
1996-09-5
Alexandre Tessier
Declarative Debugging in Constraint Logic Programming
Paper:
1996-10
Reidar Conradi,
Bernhard Westfechtel
Version Models for Software Configuration Management