PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Mendler, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
The intuitionism behind Statecharts steps.

, and . ACM Trans. Comput. Log., 3 (1): 1-41 (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Böhm

Michael Funk

Hon. -Prof. Dr. -Ing. Michael Bauer University of Stuttgart

Dr. Michael Wachowsky University of Stuttgart

Dr. phil. Michael Nerurkar University of Stuttgart

 

Other publications of authors with the same name

Editorial: Where Theory and Practice Meet., , and . Formal Asp. Comput., 15 (4): 297-298 (2003)Grounding Synchronous Deterministic Concurrency in Sequential Programming., , , and . ESOP, volume 8410 of Lecture Notes in Computer Science, page 229-248. Springer, (2014)Formal design of a class of computers., and . CHARME, volume 987 of Lecture Notes in Computer Science, page 84-102. Springer, (1995)A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits.. TABLEAUX, volume 1071 of Lecture Notes in Computer Science, page 261-277. Springer, (1996)Statecharts: From Visual Syntax to Model-Theoretic Semantics., and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 615-621. Konstanz UVK-Verl.-Ges., (2001)An Intuitionistic Modal Logic with Applications to the Formal Verification of Hardware., and . CSL, volume 933 of Lecture Notes in Computer Science, page 354-368. Springer, (1994)Is observational congruence on µ-expressions axiomatisable in equational Horn logic?, and . Inf. Comput., 208 (6): 634-651 (2010)Cut-free Gentzen calculus for multimodal CK., and . Inf. Comput., 209 (12): 1465-1490 (2011)Denotational fixed-point semantics for constructive scheduling of synchronous concurrency., , , and . Acta Inf., 52 (4-5): 393-442 (2015)Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic.. Formal Methods in System Design, 17 (1): 5-37 (2000)