Person:
Carl, Merlin

Profile Picture
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name

Filters

2011 - 201813
13
Reset filters

Settings

Type: Contribution to a conference collection ×

Search Results

Now showing 1 - 10 of 13
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Taming Koepke's Zoo
    (2018) Carl, Merlin; Ouazzani, Sabrina; Welch, Philip
    Published in: Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings / Manea, Florin; Miller, Russell G.; Nowotka, Dirk (ed.). - Cham : Springer, 2018. - (Lecture Notes in Computer Science ; 10936). - pp. 126-135. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-94417-3
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Some Observations on Infinitary Complexity
    (2018) Carl, Merlin
    Published in: Sailing Routes in the World of Computation : 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, proceedings / Manea, Florin; Miller, Russell G.; Nowotka, Dirk (ed.). - Cham : Springer, 2018. - (Lecture Notes in Computer Science ; 10936). - pp. 118-125. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-94417-3
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Admissibles in Gaps
    (2017) Carl, Merlin; Durand, Bruno; Lafitte, Grégory; Ouazzani, Sabrina
    Published 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. 175-186. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-58740-0
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    The Recognizability Strength of Infinite Time Turing Machines with Ordinal Parameters
    (2017) Carl, Merlin; Schlicht, Philipp
    Published 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
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Koepke Machines and Satisfiability for Infinitary Propositional Languages
    (2017) Carl, Merlin; Löwe, Benedikt; Rin, Benjamin G.
    Published 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. 187-197. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-58740-0
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    An Invitation to Infinitary Computability
    (2016) Carl, Merlin
    Published in: Special Issue : Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016 / Bach, V.; Fassbender, H. (ed.). - Hoboken, NJ : Wiley, 2016. - (Proceedings in Applied Mathematics and Mechanics ; 16,1). - pp. 901-902. - eISSN 1617-7061
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Generalized Effective Reducibility
    (2016) Carl, Merlin
    Published in: Pursuit of the Universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016; Proceedings / Beckmann, Arnold et al. (ed.). - Cham : Springer, 2016. - (Lecture Notes in Computer Science ; 9709). - pp. 225-233. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-40188-1
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    ITRM-recognizability from Random Oracles
    (2015) Carl, Merlin
    Published in: Evolving Computability : 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015 ; Proceedings / Beckmann, Arnold et al. (ed.). - Cham [u.a.] : Springer, 2015. - (Lecture Notes in Computer Science ; 9136). - pp. 137-144. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-20027-9
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Interpreting Naproche : an algorithmic approach to the derivation-indicator view
    (2014) Carl, Merlin; Koepke, Peter
    Published in: 36th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB 2010) : Proceedings. - London : AISB, 2014. - pp. 7-10. - ISBN 978-1-62993-963-6
  • No Thumbnail Available
    Publication
    Contribution to a conference collection
    Algorithmic Randomness for Infinite Time Register Machines
    (2014) Carl, Merlin
    Published in: Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Ungary, June 23-27, 2014 ; proceedings / Arnold Beckmann ... (ed.). - Cham [u.a.] : Springer, 2014. - (Lecture Notes in Copmuter Science ; 8493). - pp. 84-92. - ISBN 978-3-319-08018-5