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.
Habilitation
Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt, 2020
doi: 10.25534/tuprints-00013503
Habilitation, Secondary publication, Publisher's Version
Ph.D. Thesis
Canavoi, Felix (2018)
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Drucken
Impressum