Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[3]
Hilfe
Suche: Author="Mendler, Michael"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Constructive semantics for instantaneous reactions
Joaquín Aguado
,
Michael Mendler
Theoretical Computer Science
412
(11), 2011, pp. 931-961
Cut-free Gentzen calculus for multimodal {\sf CK}
Michael Mendler
,
Stephan Scheele
Information and Computation
209
(12), 2011, pp. 1465-1490
Is observational congruence on
\mu
-expressions axiomatisable in equational Horn logic?
Michael Mendler
,
Gerald Lüttgen
Information and Computation
208
(6), 2010, pp. 634-651
Fully-abstract statecharts semantics via intuitionistic Kripke models
Gerald Lüttgen
,
Michael Mendler
Lecture Notes in Computer Science
1853
, 2000, pp. 163-174
Modelling and verification of unbounded length systolic arrays in M2L(Str)
Tiziana Margaria
,
Michael Mendler
,
Claudia Gsottberger
Proceedings of the 3rd International Workshop on Verification of Infinite State Systems, INFINITY'98 (Aalborg, Denmark, July 18, 1998)
, 1998, pp. 11-25
Propositional lax logic
Matt Fairtlough
,
Michael Mendler
Information and Computation
137
(1), 1997, pp. 1-33