Searching for authors named "Olav Lysne" – sorted by Relevance.
36 documents found, showing 1 through 10.
Next 10 →
-
The Equational Part of Proofs by Structural Induction
- …TheEquationalPartofProofsbyStructuralInduction OlavLysne DepartmentofInformatics Universityof…
- Cited by 3 (2 self) – Add To MetaCart
-
On the Connection between Narrowing and Proof by Consistency
- …On the Connection between Narrowing and Proof by Consistency Olav Lysne Department of…
- Cited by 3 (2 self) – Add To MetaCart
-
E-Unification by Consistency
- …E-Uni cationbyConsistency OlavLysne DepartmentofInformatics UniversityofOslo Po.box1080Blindern…
- Cited by 1 (0 self) – Add To MetaCart
-
Proof by Consistency in Constructive Systems with Final Algebra Semantics
- …Proof by Consistency in Constructive Systems with Final Algebra Semantics Olav Lysne Department…
- Cited by 5 (3 self) – Add To MetaCart
-
Extending Bachmair's Method for Proof by Consistency to the Final Algebra
- …Extending Bachmair’s Method for Proof by Consistency to the Final Algebra Olav Lysne, Department…
- Cited by 4 (1 self) – Add To MetaCart
-
How to use IEEE 1355 (HIC) as transport layer protocol for SCI
- …How to use IEEE 1355 (HIC) as transport layer protocol for SCI 1 Introduction Olav Lysne and Stein…
- Add To MetaCart
-
Constructing SCI-configurations that are free from deadlocks
- …Constructing SCI-configurations that are free from deadlocks Abstract Olav Lysne and Stein…
- Add To MetaCart
-
An OPNET-based Simulation Model of SCI-nodes
- … was originally developed at MIT, and was introduced in 1987 as the Gunnar Rønneberg and Olav Lysne Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Aspects of running the SCI-protocol over HIC-networks
- …AspectsofrunningtheSCI-protocoloverHIC-networks OlavLysne DepartmentofInformatics Universityof…
- Cited by 9 (3 self) – Add To MetaCart
-
Fast Dynamic Reconfiguration in Irregular Networks
- …Fast Dynamic Reconfiguration in Irregular Networks Olav Lysne ∗ Department of Informatics…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
