Searching for authors named "Olaf Owe" – sorted by Relevance.
34 documents found, showing 1 through 10.
Next 10 →
-
3-Valued Logic - CFI Language Design Study Notes
- …3-Valued Logic CFI Language Design Study Notes Olaf Owe The Common Framework Initiative May 14…
- Add To MetaCart
-
Partial Logics Reconsidered: A Conservative Approach
- … Conservative Approach Olaf Owe Department of Informatics, University of Oslo, Norway Keywords:Partial logic…
- Cited by 27 (2 self) – Add To MetaCart
-
An Overview of a Formalism for Open Distributed Systems
- …An Overview of a Formalism for Open Distributed Systems Olaf Owe Isabelle Ryl Department…
- Add To MetaCart
-
Definedness and Strictness in Generator Inductive Definitions
- …Definedness and Strictness in Generator Inductive Definitions Olav Lysne and Olaf Owe Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Formal Development with ABEL
- …Formal Development with ABEL Ole-Johan Dahl and Olaf Owe Department of Informatics University…
- Cited by 16 (4 self) – Add To MetaCart
-
On the Use of Subtypes in ABEL (Revised Version)
- …-Johan Dahl and Olaf Owe Research Report 206 ISBN 82-7368-117-3 ISSN 0806-3036 October On the Use of Subtypes…
- Add To MetaCart
-
On Combining Reasoning Control with Distribution and Openness in Object Oriented Systems
- … Systems Olaf Owe ∗ and Isabelle Ryl † ∗ Department of Informatics University of Oslo, P.O.Box 1080…
- Add To MetaCart
-
Towards integration of XML in the Creol object-oriented language. Res
- …Towards integration of XML in the Creol object-oriented language Arild Torjusen, Olaf Owe, Gerardo…
- Cited by 1 (0 self) – Add To MetaCart
-
Generator Induction in Order Sorted Algebras
- …Generator Induction inOrder Sorted Algebras OlafOweandOle-Johan Dahl Institute of…
- Cited by 5 (1 self) – Add To MetaCart
-
A Compositional Formalism for Object Viewpoints
- …A COMPOSITIONAL FORMALISM FOR OBJECT VIEWPOINTS Einar Broch Johnsen and Olaf Owe Department…
- Cited by 15 (12 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
