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
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
3 results
Back to results
Filters
Author
1
search.filters.author.Bruse, Florian
1
search.filters.author.Hutagalung, Milka
1
search.filters.author.Kernberger, Daniel
Subject
3
004 'Data processing and computer science'
2
search.filters.subject.Automatentheorie
1
search.filters.subject.Büchi-Automat
1
search.filters.subject.Framework <Informatik>
1
search.filters.subject.Logik
Show more
Search subject
Submit
Type
3
search.filters.itemtype.Dissertation
Languages
3
search.filters.language.eng
Date
Start
End
Submit
2018 - 2019
3
Open Access
3
search.filters.has_content_oa.open access
kassel university press
1
search.filters.has_content_kup.false
Reset filters
Advanced Search
Filter by
Filters
Title
Author
Subject
Operators
Equals
Not Equals
Authority
Not Authority
Contains
Not Contains
Query
Search Title
Submit
Add
Settings
Sort By
Most Relevant
Title Ascending
Date Issued Descending
Accessioned Date Descending
Results per page
1
5
10
20
40
60
80
100
Search
Start date: 2018
×
End date: 2019
×
Search Tools
Search Results
Now showing
1 - 3 of 3
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