Searching for authors named "Bernhard Reus" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
Modular semantics and logics of classes
- …Modular Semantics and Logics of Classes Bernhard Reus ⋆ School of Cognitive and Computing Sciences…
- Cited by 11 (2 self) – Add To MetaCart
-
Naïve Synthetic Domain Theory: A Logical Approach
- …Na#ve Synthetic Domain Theory A Logical Approach Bernhard Reus & Thomas Streicher Institut f…
- Add To MetaCart
-
A complete temporal and spatial logic for distributed systems
- …A Complete Temporal and Spatial Logic for Distributed Systems ⋆ Dirk Pattinson 1 and Bernhard Reus…
- Cited by 1 (0 self) – Add To MetaCart
-
Verifying Properties of Module Construction in Type Theory
- …Verifying Properties of Module Construction in Type Theory ? Bernhard Reus Thomas Streicher…
- Cited by 5 (0 self) – Add To MetaCart
-
Denotational semantics for Abadi and Leino’s logic of objects
- …Denotational Semantics for Abadi and Leino’s Logic of Objects Bernhard Reus and Jan Schwinghammer…
- Cited by 3 (1 self) – Add To MetaCart
-
Separation logic for higher-order store
- …Separation Logic for Higher-order Store Bernhard Reus 1 and Jan Schwinghammer 2 1 Department…
- Cited by 6 (1 self) – Add To MetaCart
-
About Hoare logics for higher-order store
- …About Hoare Logics for Higher-order Store ⋆ Bernhard Reus 1⋆⋆ and Thomas Streicher 2 1 University…
- Cited by 4 (2 self) – Add To MetaCart
-
Semantics and Logic of Object Calculi
- …Semantics and Logic of Object Calculi Bernhard Reus COGS, University of Sussex Falmer, Brighton…
- Cited by 13 (2 self) – Add To MetaCart
-
Monadic Presentations of Lambda Terms Using Generalized Inductive Types
- … and Bernhard Reus Ludwig-Maximilians-Universitat, Oettingenstr. 67, 80538 Munchen, Germany, falti…
- Cited by 45 (9 self) – Add To MetaCart
-
An Event-Based Structural Operational Semantics of Multi-Threaded Java
- … ? , Alexander Knapp, Bernhard Reus, and Martin Wirsing Ludwig--Maximilians--Universitat Munchen fcenciare,knapp,reus…
- Cited by 25 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
