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