Most recent publications
- 1 of 15
Simula in the media
- 1 of 2
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.
In Proceedings 3rd International Conference on Algebraic and Logic Programming. Lecture Notes in Computer Science. Pisa (Italy), 1992.
In Proceedings from NIK'92: Norsk Informatikk Konferanse. TAPIR,, 1992.
Department of Informatics, University of Oslo, 1991.