• Deutsch
    • English
 
  • Publish
  • About KOBRA  
    • About us
    • Policy
    • License
    • FAQ
    • Contact
  • 🇬🇧
    • Deutsch
    • English
  • Login
Theoretische Informatik/Formale Methoden 
  •   KOBRA
  • Fachbereiche
  • FB 16 Elektrotechnik / Informatik
  • Informatik
  • Theoretische Informatik/Formale Methoden
  •   KOBRA
  • Fachbereiche
  • FB 16 Elektrotechnik / Informatik
  • Informatik
  • Theoretische Informatik/Formale Methoden
JavaScript is disabled for your browser. Some features of this site may not work without it.


Diese Webseite benutzt Cookies.
COOKIE POLICY DER UNI. Close


Theoretische Informatik/Formale Methoden

Browse by

By Issue DateAuthorsTitlesKeyword (DDC)Keyword (GND)Publication typexmlui.ArtifactBrowser.Navigation.browse_mimeLanguageSubjectsOpen accessBy Submit Date

Search within this community and its collections:

 

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)

DSpace software copyright © 2002-2015  DuraSpace
KOBRA copyright © 2006-2018  UB Kassel
Contact Us | Send Feedback | Impressum / Datenschutz
Theme by 
Atmire NV
 

 

Browse

All of KOBRACommunities & CollectionsBy Issue Date Authors Titles Keyword (DDC)Keyword (GND)Publication type Language Open access This CommunityBy Issue Date Authors Titles Keyword (DDC)Keyword (GND)Publication type Language Open access

Discover

  • Date Issued 2019 (2) 2018 (1)
  • Publication typeDoctoral thesis  (3)
  • Keyword (DDC)004  Data processing and computer science  (3)
  • Open access open access (3)

RSS Feeds

feedRSS 1.0feedRSS 2.0feedAtom

DSpace software copyright © 2002-2015  DuraSpace
KOBRA copyright © 2006-2018  UB Kassel
Contact Us | Send Feedback | Impressum / Datenschutz
Theme by 
Atmire NV