Primary tabs
Olav Lysne
Professor
Director at Simula Metropolitan
Organisation:
Administration and Management
Email:
Most recent publications
News
Simula in the media
- 1 of 2
- next
Status
Departments
Publication type
Year published
1994
Journal articles
Nordic Journal of Computing 1 (1994): 135-156,.
Status: Published
Information Processing Letters 51, no. 6 (1994): 303-310,.
Status: Published
Proceedings, refereed
In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.
Status: Published
In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.
Status: Published
Talks, contributed
In Proceedings Journees du GDR Programmation, Lille (France), GDR Programmation du CNRS, 1994.
Status: Published