Publikation:

Algorithmic Randomness for Infinite Time Register Machines

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2014

Autor:innen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
DOI (zitierfähiger Link)
https://doi.org/10.1007/978-3-319-08019-2_9
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung

Sammlungen

Mathematik und Statistik: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

ARNOLD BECKMANN ..., , ed.. Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Ungary, June 23-27, 2014 ; proceedings. Cham [u.a.]: Springer, 2014, pp. 84-92. Lecture Notes in Copmuter Science. 8493. ISBN 978-3-319-08018-5. Available under: doi: 10.1007/978-3-319-08019-2_9

Zusammenfassung

A concept of randomness for infinite time register machines (ITRMs), resembling Martin-Löf-randomness, is defined and studied. In particular, we show that for this notion of randomness, computability from mutually random reals implies computability and that an analogue of van Lambalgen’s theorem holds.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
510 Mathematik

Schlagwörter

Konferenz

10th Conference on Computability in Europe, CiE 2014, 23. Juni 2014 - 27. Juni 2014, Budapest
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690CARL, Merlin, 2014. Algorithmic Randomness for Infinite Time Register Machines. 10th Conference on Computability in Europe, CiE 2014. Budapest, 23. Juni 2014 - 27. Juni 2014. In: ARNOLD BECKMANN ..., , ed.. Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Ungary, June 23-27, 2014 ; proceedings. Cham [u.a.]: Springer, 2014, pp. 84-92. Lecture Notes in Copmuter Science. 8493. ISBN 978-3-319-08018-5. Available under: doi: 10.1007/978-3-319-08019-2_9
BibTex
@inproceedings{Carl2014Algor-30036,
  year={2014},
  doi={10.1007/978-3-319-08019-2_9},
  title={Algorithmic Randomness for Infinite Time Register Machines},
  number={8493},
  isbn={978-3-319-08018-5},
  publisher={Springer},
  address={Cham [u.a.]},
  series={Lecture Notes in Copmuter Science},
  booktitle={Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Ungary, June 23-27, 2014 ; proceedings},
  pages={84--92},
  editor={Arnold Beckmann ...},
  author={Carl, Merlin}
}
RDF
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/30036">
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/30036"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-02-25T09:43:43Z</dcterms:available>
    <dcterms:title>Algorithmic Randomness for Infinite Time Register Machines</dcterms:title>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-02-25T09:43:43Z</dc:date>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/39"/>
    <dc:creator>Carl, Merlin</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:issued>2014</dcterms:issued>
    <dcterms:abstract xml:lang="eng">A concept of randomness for infinite time register machines (ITRMs), resembling Martin-Löf-randomness, is defined and studied. In particular, we show that for this notion of randomness, computability from mutually random reals implies computability and that an analogue of van Lambalgen’s theorem holds.</dcterms:abstract>
    <dc:language>eng</dc:language>
    <dc:contributor>Carl, Merlin</dc:contributor>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen