Einträge mit Organisationseinheit "04 Fachbereich Mathematik > Logik > Algorithmic Model Theory"
- TU Darmstadt (106403)
- 04 Fachbereich Mathematik (2673)
- Logik (33)
- Algorithmic Model Theory (3)
- Logik (33)
- 04 Fachbereich Mathematik (2673)
Springe zu: Englisch
Es werden nur Einträge angezeigt, bei denen keine untergeordnete Organisationseinheit ausgewählt wurde. Anzahl: 3.
Englisch
Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt
Habilitation, Bibliographie
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