Research output per year
Research output per year
Research output
Search results
-
2020
Descriptive properties of higher Kurepa trees
Schlicht, P. & Lücke, P., 11 Dec 2020, (Accepted/In press) Research Trends in Contemporary Logic. College PublicationsResearch output: Chapter in Book/Report/Conference proceeding › Chapter in a book
-
2017
The recognizability strength of infinite time Turing machines with ordinal parameters
Schlicht, P. & Carl, M., 2017, The recognizability strength of infinite time Turing machines with ordinal parameters. p. 198-209 12 p. (Lecture Notes in Computer Science ; vol. 10307).Research output: Chapter in Book/Report/Conference proceeding › Chapter in a book