( en | de | ru )

 

Disambiguation of "Owe, Olaf"

Author of the publication

copydeleteadd this publication to your clipboard
A Simple Sequent Calculus for Partial Functions.

, and . Theor. Comput. Sci., 114 (2): 317-330 (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Owe Reimers

Sverrir Olafsson

Sven Olaf

Owe Hansen

Owe Piening

 

Other publications of authors with the same name

Guest Editors' Foreword., and . Nord. J. Comput., 8 (3): 277-278 (2001)Verifiable Programming of Object-Oriented and Distributed Systems.. From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Dynamic Structural Operational Semantics., and . CoRR, (2016)Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks., , , and . IRI (best papers), volume 263 of Advances in Intelligent Systems and Computing, page 127-150. Springer, (2013)An Asynchronous Communication Model for Distributed Concurrent Objects., and . Softw. Syst. Model., 6 (1): 39-58 (2007)On detecting over-eager concurrency in asynchronously communicating concurrent object systems., and . J. Log. Algebraic Methods Program., (2017)ANNA - A Language for Annotating Ada Programs, Reference Manual, , , and . Lecture Notes in Computer Science Springer, (1987)Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory., , , and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 95-109. Springer, (2010)Lazy behavioral subtyping., , , and . J. Log. Algebraic Methods Program., 79 (7): 578-607 (2010)Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies., , , , and . Inf. Sci., (2022)