Searching for authors named "Michael Mendler" – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic
- …Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic Michael Mendler…
- Cited by 5 (1 self) – Add To MetaCart
-
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits
- … of Combinational Circuits Michael Mendler Abstract Up until now classical logic has been the logic of choice…
- Cited by 5 (3 self) – Add To MetaCart
-
Is Observational Congruence on µ-Expressions Axiomatisable in Equational Horn Logic? ∗
- … of Bamberg, Germany michael.mendler@(email omitted); Gerald Lüttgen Department of Computer Science…
- Add To MetaCart
-
Fully- Statecharts Semantics via Intuitionistic Kripke Models
- … and Michael Mendler 2 1 ICASE, Mail Stop 132C, NASA Langley Research Center, Hampton, Virginia 23681…
- Add To MetaCart
-
Axiomatizing an Algebra of Step Reactions for Synchronous Languages
- …, Universitat Bamberg, D{96045 Bamberg, michael.mendler@(email omitted); Abstract. This paper introduces a…
- Cited by 2 (0 self) – Add To MetaCart
-
Statecharts: From visual syntax to model-theoretic semantics
- …Statecharts: From Visual Syntax to Model–Theoretic Semantics Gerald Lüttgen 1 Michael Mendler 1 1…
- Cited by 7 (1 self) – Add To MetaCart
-
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem
- … ? and Michael Mendler ?? Department of Computer Science, Sheeld University 211 Portobello Street, Sheeld S1 4DP…
- Cited by 1 (0 self) – Add To MetaCart
-
Fully-abstract Statecharts Semantics via Intuitionistic Kripke Models
- … and Michael Mendler 2 1 ICASE, Mail Stop 132C, NASA Langley Research Center, Hampton, Virginia 23681…
- Cited by 4 (1 self) – Add To MetaCart
-
The Intuitionism Behind Statecharts Steps
- … Luettgen ICASE, Hampton, Virginia Michael Mendler The University of Sheffield, Sheffield, England Institute…
- Add To MetaCart
-
Informatics Theory Group
- …Towards Constructive Description Logics for Abstraction and Refinement Michael Mendler and Stephan…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
