Einträge mit Organisationseinheit "04 Fachbereich Mathematik > Logik > Algorithmic Model Theory"
- TU Darmstadt (106285)
- 04 Fachbereich Mathematik (2668)
- Logik (33)
- Algorithmic Model Theory (3)
- Logik (33)
- 04 Fachbereich Mathematik (2668)
Es werden nur Einträge angezeigt, bei denen keine untergeordnete Organisationseinheit ausgewählt wurde. Anzahl: 3.
Habilitation
Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt
Habilitation, Bibliographie
Dissertation
Bitterlich, Julian (2019)
Investigations into the Universal Algebra of Hypergraph Coverings and Applications.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Canavoi, Felix (2018)
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung
Drucken
Impressum