Is observational congruence on µ-expressions axiomatisable in equational horn logic? von Mendler, Michael, Lüttgen, Gerald

Formal design of a class of computers von Wang, Li-Guo, Mendler, Michael

A modal logic for handling behavioural constraints in formal hardware verification von Mendler, Michael V.

First order lax logic as a framework for constraint logic programming von Fairtlough, Matthew V., Mendler, Michael V., Walton, Matt

Ternary simulation a refinement of binary functions or an abstraction of real-time behaviour? von Mendler, Michael V., Fairtlough, Matthew V.

A modal logic for handling behavioural constraints in formal hardware verification von Mendler, Michael V.

Constructive circuits and the exactness of ternary simulation von Mendler, Michael, Shiple, Thomas R., Berry, Gérard

Constructive semantics for instantaneous reactions von Aguado, Joaquin, Mendler, Michael

Konstruktive Ansätze zur Verbindung von Funktion und Zeit im Formalen Systementwurf Habilitationsveröffentlichungen und Zusammenfassung von Mendler, Michael V.

A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits von Mendler, Michael V.

Abstraction of hardware construction von Wang, Li-Guo, Mendler, Michael

Intuitionistic modal logic and applications (IMLA '02) workshop proceedings : LICS satellite workshop to the 3rd Federated Logic Conference (FLoC'02), Copenhagen, DK, 26 July 2002.

Weitere Verfasser: Inhaltsverzeichnis