Most recent publications
- 1 of 15
Simula in the media
- 1 of 2
In Foundations of Software Technology and Theoretical Computer Science, 16th Conference. Lecture Notes in Computer Science. Hyderabad, India: Springer-Verlag, 1996.
In Proceedings of The Fifth International Workshop on SCI-based High-performance Low-Cost Computing. Santa Clara (California),, 1996.
In Proceedings 5th International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Aachen (Germany): Springer-Verlag, 1996.
Nordic Journal of Computing 1 (1994): 135-156,.
Information Processing Letters 51, no. 6 (1994): 303-310,.
In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.