Algorithmic Randomness for Infinite Time Register Machines

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

CARL, Merlin, 2014. Algorithmic Randomness for Infinite Time Register Machines. 10th Conference on Computability in Europe, CiE 2014. Budapest, 23. Jun 2014 - 27. Jun 2014. In: ARNOLD BECKMANN ..., , ed.. Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Ungary, June 23-27, 2014 ; proceedings. 10th Conference on Computability in Europe, CiE 2014. Budapest, 23. Jun 2014 - 27. Jun 2014. Cham [u.a.]:Springer, pp. 84-92. ISBN 978-3-319-08018-5

@inproceedings{Carl2014Algor-30036, title={Algorithmic Randomness for Infinite Time Register Machines}, year={2014}, doi={10.1007/978-3-319-08019-2_9}, number={8493}, isbn={978-3-319-08018-5}, address={Cham [u.a.]}, publisher={Springer}, 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 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/30036"> <dcterms:issued>2014</dcterms:issued> <dcterms:title>Algorithmic Randomness for Infinite Time Register Machines</dcterms:title> <dc:language>eng</dc:language> <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> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/30036"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-02-25T09:43:43Z</dcterms:available> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-02-25T09:43:43Z</dc:date> <dc:creator>Carl, Merlin</dc:creator> <dc:contributor>Carl, Merlin</dc:contributor> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto