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