Olav.Lysne

Primary tabs

Olav Lysne

Professor

Director of Simula Metropolitan

Organisation:

Administration and Management

Email:

[email protected]

Most recent publications

O. Lysne

On the Connection Between Narrowing and Proof by Consistency

In Proceedings 12th International Conference on Automated Deduction, Nancy (France). Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994.

Proceedings, refereed

1994

View

O. Lysne

E-Unification by Consistency

In Proceedings 5th Nordic Workshop on Program Correctness. Reports on Computer Science & Mathematics. bo Akademi, 1994.

Proceedings, refereed

1994

View

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

News

16 July 2022

New book in the SpringerBriefs series: Smittestopp − A Case Study on Digital Contact Tracing

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