TU Darmstadt
ULB
TUprints
Browse by Person
Up a level |
Number of items: 1.
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