TU Darmstadt / ULB / TUprints

Items where Division is "04 Department of Mathematics > Logic > Algorithmic Model Theory" and Year is [pin missing: value2]

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | Item Type | Language | No Grouping
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

This list was generated on Sun Jun 16 08:13:41 2024 CEST.