Suchergebnisse - Mendler, Michael

A modal logic for handling behavioural constraints in formal hardware verification

von Mendler, Michael V.

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.

A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits

von Mendler, Michael V.

Is observational congruence on µ-expressions axiomatisable in equational horn logic?

von Mendler, Michael, Lüttgen, Gerald

First order lax logic as a framework for constraint logic programming

von Fairtlough, Matthew V., Mendler, Michael V., Walton, Matt

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

Formal design of a class of computers

von Wang, Li-Guo, Mendler, Michael

Konstruktive Ansätze zur Verbindung von Funktion und Zeit im Formalen Systementwurf: Habilitationsveröffentlichungen und Zusammenfassung

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 beteiligte Personen: “… Mendler, Michael …”
Inhaltsverzeichnis