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