Martin Mundhenk - Wissenschaftliche Veröffentlichungen

(1 - 18 von 21

)

dblp: Martin Mundhenk

dblp.uni-trier.de

List of computer science publications by Martin Mundhenk

U of Trier Technical Reports Mathematics / Computer Science

www.informatik.uni-trier.de

Christoph Meinel, Martin Mundhenk (Hrsg.): 6. Berlin-München-Trierer Workshop zur Algorithmischen Diskreten Mathematik und Mathematischen Optimierung ( ADiMMO …

Prof. Dr. Martin Mundhenk - complexity.uni …

www.complexity.uni-jena.de

Webseite des Bereich Komplexität, Prof. Dr. Martin Mundhenk, Friedrich-Schiller-Universität Jena, Institut für Informatik

dblp: Dietmar Fey

dblp.uni-trier.de

List of computer science publications by Dietmar Fey

Martin Mundhenk - Lehre Sommer 2018

www.minet.uni-jena.de

Martin Mundhenk, Theoretical CS, University Jena.

Uni Trier: Informatikwissenschaften

www.uni-trier.de

- Informatikwissenschaften - Für Wissenschaftler - Technische Berichte Informatikwissenschaften. Profil; ... Judy Goldsmith, Martin Mundhenk

Martin Mundhenk - Paper

www.minet.uni-jena.de

Arvind, Köbler, Mundhenk: Monotonous and randomized reductions to sparse sets RAIRO Theoretical Informatics and Applications 30(2): ,

dblp: 2. CIAC 1994: Rome, Italy

dblp.uni-trier.de

Bibliographic content of 2. CIAC 1994: Rome, Italy

18. Jahrestagung der GI-Fachgruppe Logik in der Informatik

eiche.theoinf.tu-ilmenau.de

18. Jahrestagung der GI-Fachgruppe Logik in der Informatik November 2011, Ilmenau: ... Martin Mundhenk A survey of complexity results for temporal logics:

dblp: Thomas Schneider 0002

dblp.uni-trier.de

List of computer science publications by Thomas Schneider

Search results for "Heribert Vollmer" – FacetedDBLP

dblp.l3s.uni-hannover.de

... Martin Mundhenk, Thomas Schneider 0002, Henning Schnoor, Ilka Schnoor, Heribert Vollmer: The tractability of model checking for LTL: The good, the bad, and the ...

Ehemalige Mitarbeiter / Doktoranden - Universität Ulm

www.uni-ulm.de

Dr. Martin Mundhenk (jetzt: Uni Jena); Dr. Marco Weissmüller; Dr. Armin Kühnemann (jetzt: TU Dresden); Dr. Heinz Faßbender; Prof. Dr. Heiko Vogler ( jetzt TU ...

AG Theory of Artificial Intelligence (TdKI)

www.informatik.uni-bremen.de

Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, and Heribert Vollmer. Model Checking CTL is Almost Always Inherently Sequential.

Martin Mundhenk - Themen für Studien- und Diplomarbeiten

www.minet.uni-jena.de

Themen für Studien- und Diplomarbeiten. Algorithm Engineering. Wir beschäftigen uns mit dem Äquivalenztest monotoner Formeln in Normalform MONET.

www.informatik.uni-bremen.de

@article{BMS+11, author = {Michael Bauland and Martin Mundhenk and Thomas Schneider and Henning Schnoor and Ilka Schnoor and Heribert Vollmer},

Verwandte Suchanfragen zu Martin Mundhenk

Felix Weiss
Heribert Vollmer
Arne Meier

Thomas Schneider
Ilka Schnoor
Henning Schnoor

Heinz Faßbender
Robert Zeranski

Personen
Vorname "Martin" (86745)
Name "Mundhenk" (111)

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 Mundhenk