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. Available under: doi: 10.1007/978-3-319-08019-2_9

@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: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/rdf/resource/123456789/30036"> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:title>Algorithmic Randomness for Infinite Time Register Machines</dcterms:title> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:issued>2014</dcterms:issued> <dc:creator>Carl, Merlin</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/30036"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Carl, Merlin</dc:contributor> <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> <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> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto