Martin Max Marc Otto - Wissenschaftliche Veröffentlichungen

(1 - 8 von 9

)

MGI - Publications: Martin Otto

logic.rwth-aachen.de

Publications Martin Otto E. Grädel and M. Otto. The Freedoms of (Guarded) Bisimulation. In Johan van Benthem on Logic and Information Dynamics (A. Baltag and ...

Martin Otto - Autorenprofil - GRIN

www.grin.com

› user

dblp: Martin Otto

dblp.uni-trier.de

List of computer science publications by Martin Otto

Herr Martin Otto | Institut für Materialwissenschaft

www.imw.uni-stuttgart.de

› team › Otto

Home-Page of Martin Otto

www.mathematik.tu-darmstadt.de

Professor in Mathematics Logic and Mathematical Foundations of Computer Science Logic Group Mathematics Department (FB 4) Technische Universität Darmstadt

[BOW+14] Decidability results for the boundedness problem

www2.mathematik.tu-darmstadt.de

BlumensathOttoWeyer2014 (Article) Author(s) Blumensath, Achim and Otto, Martin and Weyer, Marc: Title « Decidability results for the boundedness problem »

CV of Martin Otto

www2.mathematik.tu-darmstadt.de

Martin Otto Professor of Mathematics / Logic and Mathematical Foundations of Computer Science Department of Mathematics Technische Universität Darmstadt

Verwandte Suchanfragen zu Martin Max Marc Otto

Otto Bruker
Karl Kroll
Silvia Straten

Peter Alex
Stefan Sieker
Thomas Deuster

Person "Otto" (63)
Vorname "Max" (29672)
Name "Otto" (5259)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Martin Max Marc Otto