Items where Division is "04 Department of Mathematics > Logic > Algorithmic Model Theory" and Year is [pin missing: value2]
![]() | Up a level |
- TU Darmstadt (3)
- 04 Department of Mathematics (3)
- Logic (3)
- Algorithmic Model Theory (3)
- Logic (3)
- 04 Department of Mathematics (3)
Number of items at this level (without sub-levels): 2.
C
Canavoi, Felix (2018):
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
E
Eickmeyer, Kord (2020):
Logics with Invariantly Used Relations.
Darmstadt, Technische Universität Darmstadt, Fachbereich Mathematik, DOI: 10.25534/tuprints-00013503,
[Habilitation]