Lysne, Olav 1963-
Lysne, Olav
Lysne, Olav, 19..-....
Olav Lysne
VIAF ID: 275906135 ( Personal )
Permalink: http://viaf.org/viaf/275906135
Preferred Forms
-
-
- 100 1 _ ‡a Lysne, Olav
-
- 100 1 _ ‡a Lysne, Olav ‡d 1963-
-
-
- 100 1 _ ‡a Lysne, Olav, ‡d 19..-....
- 100 0 _ ‡a Olav Lysne
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Aspects of running the SCI-protocol over HIC-networks | |
Definedness and strictness in generator inductive definitions | |
Digital sårbarhet - sikkert samfunn : beskytte enkeltmennesker og samfunn i en digitalisert verden : utredning fra et utvalg oppnevnt ved kongelig resolusjon 20. juni 2014 : avgitt til Justis- og beredskapsdepartementet 30. november 2015 | |
The Huawei and Snowden questions : can electronic equipment from untrusted vendors be verified : can an untrusted vendor build trust into electronic equipment? | |
Initial equality as a function in algebraic specification | |
Linear proofs in the final algebra | |
On the connection between narrowing and proof by consistency | |
On verification of parallel and interleaved executions | |
Proof by consistency in constructive systems with final algebra semantics | |
Simula research laboratory | |
Smittestopp − A Case Study on Digital Contact Tracing | |
Syntaksorientert editor basert på 2-nivå BNF | |
Term rewriting techniques for systems based on generator induction | |
A termination ordering for higher order rewrite systems | |
A width first approach to completion |