Theoretische Informatik/Formale Methoden

Browse by

By Issue Date Authors Titles Keyword (DDC)Keyword (GND)Publication type xmlui.ArtifactBrowser.Navigation.browse_mime Language Subjects Open access By Submit Date

Collections in this community

Dissertationen [3]

Recent Submissions

Dissertation
Extremal Fixpoints for Higher-Order Modal Logic

Bruse, Florian (2018-10)
Dissertation
Hybrid Branching-Time Logics

Kernberger, Daniel (2019)
Dissertation
Buffered Simulation for Büchi Automata

Hutagalung, Milka (2019)