Suchergebnisse - Carl, Merlin

Treffer weiter einschränken
  1. 1
    Buchumschlag

    The distribution of ITRM-recognizable reals Autoría: Carl, Merlin

    Veröffentlicht 2012
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Optimal Results on ITRM-recognizability Autoría: Carl, Merlin

    Veröffentlicht 2013
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    Models of true arithmetic are integer parts of nice real closed fields Autoría: Carl, Merlin

    Veröffentlicht 2013
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Algorithmic Randomness for Infinite Time Register Machines Autoría: Carl, Merlin

    Veröffentlicht 2014
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    Structures Associated with Real Closed Fields and the Axiom of Choice Autoría: Carl, Merlin

    Veröffentlicht 2014
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    The Lost Melody Phenomenon Autoría: Carl, Merlin

    Veröffentlicht 2014
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

    Randomness and Degree Theory for Infinite Time Register Machines Autoría: Carl, Merlin

    Veröffentlicht 2015
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    Infinite Time Recognizability from Random Oracles and the Recognizable Jump Operator Autoría: Carl, Merlin

    Veröffentlicht 2015
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    Generalized Effective Reducibility Autoría: Carl, Merlin

    Veröffentlicht 2016
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    Space-Bounded OTMs and REG$^{\infty}$ Autoría: Carl, Merlin

    Veröffentlicht 2017
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

    Some Observations on Infinitary Complexity Autoría: Carl, Merlin

    Veröffentlicht 2018
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

    Effectivity and Reducibility with Ordinal Turing Machines Autoría: Carl, Merlin

    Veröffentlicht 2018
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

    A Note on OTM-Realizability and Constructive Set Theories Autoría: Carl, Merlin

    Veröffentlicht 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Buchumschlag

    Space and Time Complexity for Infinite Time Turing Machines Autoría: Carl, Merlin

    Veröffentlicht 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Buchumschlag

    A Note on Clockability for Ordinal Turing Machines Autoría: Carl, Merlin

    Veröffentlicht 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Buchumschlag

    Taming Koepke's Zoo II: Register Machines Autoría: Carl, Merlin

    Veröffentlicht 2019
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Buchumschlag

    The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines Autoría: Carl, Merlin

    Veröffentlicht 2020
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Buchumschlag

    Lower bounds on $β(α)$ and other properties of $α$-ITRMs Autoría: Carl, Merlin

    Veröffentlicht 2021
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Buchumschlag

    The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time $α$-register machines Autoría: Carl, Merlin

    Veröffentlicht 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Buchumschlag

    Improving the Diproche CNL through Autoformalization via Large Language Models Autoría: Carl, Merlin

    Veröffentlicht 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: