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 of 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
Term Rewriting Techniques for Systems Based on Generator Induction
Department of Informatics, University of Oslo, 1991.
PhD Thesis
1991
View
News
31 January 2019
Olav Lysne visits NRK Urix
prev
5 of 16
next
Find publication
Status
Published
Departments
Communication Systems
(2)
Publication type
Journal articles
Proceedings, refereed
(2)
PhD theses
Technical reports
(1)
Talks, contributed
Year published
2018
2000
(1)
1999
(2)
1998
(2)
1997
(1)
1996
(1)
1995
(3)
1994
1993
(1)
1991
