Person: Carl, Merlin
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name
6 results
Search Results
Now showing 1 - 6 of 6
- PublicationJournal articleReachability for infinite time Turing machines with long tapes(2020) Carl, Merlin; Rin, Benjamin; Schlicht, PhilippPublished in: Logical Methods in Computer Science ; 16 (2020), 2. - International Federation for Computational Logic (IFCoLog) ; TU Braunschweig. - eISSN 1860-5974
- PublicationJournal articleRandomness via infinite computation and effective descriptive set theory(2018) Carl, Merlin; Schlicht, PhilippPublished in: The Journal of Symbolic Logic ; 83 (2018), 2. - pp. 766-789. - ISSN 0022-4812. - eISSN 1943-5886
- PublicationJournal articleRecognizable sets and Woodin cardinals : Computation beyond the constructible universe(2018) Carl, Merlin; Schlicht, Philipp; Welch, PhilipPublished in: Annals of Pure and Applied Logic ; 169 (2018), 4. - pp. 312-332. - ISSN 0168-0072. - eISSN 1873-2461
- PublicationContribution to a conference collectionThe Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters(2017) Carl, Merlin; Schlicht, PhilippPublished in: Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, proceedings / Kari, Jarkko et al. (ed.). - Cham : Springer, 2017. - (Lecture Notes in Computer Science ; 10307). - pp. 198-209. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-58740-0
- PublicationJournal articleInfinite Computations with Random Oracles(2017) Carl, Merlin; Schlicht, PhilippPublished in: Notre Dame Journal of Formal Logic ; 58 (2017), 2. - pp. 249-270. - ISSN 0029-4527. - eISSN 1939-0726
- PublicationWorking Paper/Technical ReportInfinite computations with random oracles(2013) Carl, Merlin; Schlicht, Philipp
