Titel |
Logics with invariantly used relations / Kord Eickmeyer |
|---|---|
Beteiligt |
Kord Eickmeyer (Verfasser)
Martin Otto (Akademischer Betreuer) Marc E. Pfetsch (Akademischer Betreuer) R. G. Downey (Akademischer Betreuer)
Mikołaj Bojańczyk (Akademischer Betreuer)
Technische Universität Darmstadt (Grad-verleihende Institution) |
Erschienen |
Darmstadt |
Umfang |
125 Seiten : Diagramme |
Hochschulschrift |
Habilitationsschrift, Technische Universität Darmstadt, 2020 |
Sprache |
|
Land |
|
Themengebiet |
|
Datensatz-ID |
1219669369 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: