Dokumente zum Namen Normann Decker

(1 - 5 von 7

)

Formal Languages and Automata Theory authors/titles Apr (25...

arxiv.org

Authors: Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma. Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata ...

Automata and Logics for Concurrent Systems: Realizability and...

www.pdfsearch.io

... Sundararaman / Marie Duflot-Kremer / Stefan Haar / Normann Decker / Aiswarya Cyriac / Martin Leucker / Checking / Anca Muscholl / Patricia Bouyer-Decitre ...

[ ] Model-checking Counting Temporal Logics on Flat...

arxiv.org

From: Normann Decker [view email] [v1] Mon, 26 Jun :32:16 UTC (94 KB). Which authors of this paper are endorsers? | Disable ...

[ ] On Freeze LTL with Ordered Attributes

arxiv.org

DBLP - CS Bibliography. listing | bibtex · Normann Decker ... From: Normann Decker [view email] [v1] Thu, 23 Apr :09:18 GMT (59kb).

[ ] Ordered Navigation on Multi-attributed Data Words

arxiv.org

Normann Decker · Peter Habermehl · Martin Leucker ... From: Normann Decker [view email] [v1] Thu, 24 Apr :16:41 GMT (72kb,D).

Verwandte Suchanfragen zu Normann Decker

Malte Schmitz
Felix Klaedtke
Anke Fähnrich

Benedikt Bollig
Kathrin Kalies
Jannis Harder

Martin Leucker
Peter Habermehl
Moritz Krebbel

Person "Decker" (28)
Vorname "Normann" (285)
Name "Decker" (2612)

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

Impressum AGB Datenschutz

+1

Weltweit