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
Jump to: C | E
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
Ph.D. Thesis, Primary publication


Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt, Fachbereich Mathematik, 2019
doi: 10.25534/tuprints-00013503
Habilitation, Primary publication

This list was generated on Sun Dec 3 22:33:53 2023 CET.