Skip to main content
K
OBRA
English
Deutsch
Log In
Log in
New user? Click here to register.
Communities & Collections
All of DSpace
Statistics
Publish !
About KOBRA
Home
Fachbereiche
FB 16 Elektrotechnik / Informatik
Informatik
Theoretische Informatik/Formale Methoden
Browse by Date
Theoretische Informatik/Formale Methoden
Permanent URI for this community
https://kobra.uni-kassel.de/handle/123456789/11324
Browse
Search
Subcommunities and Collections
By Issue Date
By Author
By Title
Subject (DDC)
Subject (GND)
Publication Type
MIME Type
Language
By Subject
Open Access
Date of acquisition
Search
Subcommunities and Collections
By Issue Date
By Author
By Title
Subject (DDC)
Subject (GND)
Publication Type
MIME Type
Language
By Subject
Open Access
Date of acquisition
Filter results by year or month
(Choose year)
2019
2018
(Choose month)
January
February
March
April
May
June
July
August
September
October
November
December
Browse
Now showing
1 - 3 of 3
Results Per Page
1
5
10
20
40
60
80
100
Sort Options
Ascending
Descending
Item
Extremal Fixpoints for Higher-Order Modal Logic
(
2018-10
)
Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik
;
Lange, Martin (Prof. Dr.)
;
Hague, Matthew (Prof. Dr.)
Show more
Item
Buffered Simulation for Büchi Automata
(
2019
)
Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik
;
Lange, Martin (Prof. Dr.)
;
Kučera, Antonín (Prof. Dr.)
Show more
Item
Hybrid Branching-Time Logics
(
2019
)
Kassel, Universität Kassel, Fachbereich Elektrotechnik / Informatik
;
Lange, Martin (Prof. Dr.)
;
Schneider, Thomas (Prof. Dr.)
Show more