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.

English

Canavoi, Felix (2018):
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

Eickmeyer, Kord (2020):
Logics with Invariantly Used Relations.
Darmstadt, Technische Universität Darmstadt, Fachbereich Mathematik, DOI: 10.25534/tuprints-00013503,
[Habilitation]

This list was generated on Fri Dec 4 13:49:11 2020 CET.