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
Email:
olavly@simula.no
Most recent publications
O. Lysne
The Equational Part of Proofs by Structural Induction
BIT
33 (1993): 596-618,.
Journal Article
1993
View
News
21 January 2021
Professor Olav Lysne awarded the Trust and Transparency Award
1 of 15
next
Simula in the media
11 April 2016
Simula@Bergen skal utdanne ein ny generasjon med kryptologar
Korleis kan ein sikre seg mot farar ein enno ikkje veit om? Forskarane og studentane på det nye senteret Simula@ Bergen har éit hovudmål: Å trygge våre framtidige data. - Tenk deg at du skal bygge eit hus. Då treng du gode byggesteinar.
:
Simula
På Høyden
1 of 2
next
Find publication
Status
Published
(1)
Publication type
Journal articles
Proceedings, refereed
(3)
Technical reports
(4)
Patent
Talks, contributed
(2)
Year published
2011
1999
1998
(2)
1997
(1)
1994
(2)
1993
Export 1 results:
BibTeX
Leave this field blank
1993
Journal articles
O. Lysne
The Equational Part of Proofs by Structural Induction
BIT
33 (1993): 596-618,.
Status: Published