Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Primary tabs
View
(active tab)
VCard
Olav Lysne
Professor
Director at Simula Metropolitan
Organisation:
Administration and Management
Email:
olavly@simula.no
Most recent publications
S. Krogdahl
and
O. Lysne
Verifying a Distributed List System: a Case History
Formal Aspects of Computing
9 (1997): 98-118,.
Journal Article
1997
View
O. Lysne
The Equational Part of Proofs by Structural Induction
BIT
33 (1993): 596-618,.
Journal Article
1993
View
O. Lysne
Term Rewriting Techniques for Systems Based on Generator Induction
Department of Informatics, University of Oslo, 1991.
PhD Thesis
1991
View
News
29 October 2019
Minister of Digitalisation Nikolai Astrup visited Simula
prev
3 of 16
next
Find publication
Status
Published
Publication type
Journal articles
Proceedings, refereed
(1)
PhD theses
Technical reports
(4)
Year published
1998
(2)
1997
1994
(2)
1993
1991
