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
O. Lysne
Heuristics for Completion in Automatic Proofs by Structural Induction
Nordic Journal of Computing
1 (1994): 135-156,.
Journal Article
1994
View
O. Lysne
Extending Bachmair's Method for Proof by Consistency to the Final Algebra
Information Processing Letters
51, no. 6 (1994): 303-310,.
Journal Article
1994
View
O. Lysne
The Equational Part of Proofs by Structural Induction
BIT
33 (1993): 596-618,.
Journal Article
1993
View
News
29 October 2019
Minister of Digitalisation Nikolai Astrup visited Simula
prev
3 of 16
next
Find publication
Status
Published
Departments
Communication Systems
(2)
Publication type
Journal articles
Proceedings, refereed
(2)
PhD theses
(1)
Technical reports
(4)
Talks, contributed
(1)
Year published
2018
1998
(2)
1997
(1)
1994
1993
1991
