The following pages link to Michael Mendler (Q453536):
Displayed 30 items.
- Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539) (← links)
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Towards constructive DL for abstraction and refinement (Q972423) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- Newtonian arbiters cannot be proven correct (Q1314513) (← links)
- Propositional lax logic (Q1368378) (← links)
- Intensional completeness in an extension of Gödel/Dummett logic (Q1868240) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Deterministic concurrency: a clock-synchronised shared memory approach (Q2323968) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- (Q2754141) (← links)
- Is Observational Congruence Axiomatisable in Equational Horn Logic? (Q3525638) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- (Q4028319) (← links)
- (Q4474851) (← links)
- (Q4484500) (← links)
- Characterising combinational timing analyses in intuitionistic modal logic (Q4521287) (← links)
- A Novel WCET Semantics of Synchronous Programs (Q4603571) (← links)
- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits (Q4645242) (← links)
- Abstraction of hardware construction (Q4645815) (← links)
- (Q4736390) (← links)
- (Q4785506) (← links)
- (Q4790661) (← links)
- Grounding Synchronous Deterministic Concurrency in Sequential Programming (Q5410702) (← links)
- On the Computational Interpretation of CKn for Contextual Information Processing (Q5416731) (← links)
- The intuitionism behind Statecharts steps (Q5738950) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900583) (← links)
- An algebraic theory of multiple clocks (Q6044116) (← links)
- Logic meets algebra: compositional timing analysis for synchronous reactive multithreading (Q6165810) (← links)