An Invitation to Infinitary Computability

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

CARL, Merlin, 2016. An Invitation to Infinitary Computability. 87th Joint Annual Meeting of GAMM and DMV. Braunschweig, 7. Mär 2016 - 11. Mär 2016. In: BACH, V., ed., H. FASSBENDER, ed.. Special Issue : Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016. Hoboken, NJ:Wiley, pp. 901-902. eISSN 1617-7061. Available under: doi: 10.1002/pamm.201610439

@inproceedings{Carl2016-10-25Invit-41338, title={An Invitation to Infinitary Computability}, year={2016}, doi={10.1002/pamm.201610439}, number={16,1}, address={Hoboken, NJ}, publisher={Wiley}, series={Proceedings in Applied Mathematics and Mechanics}, booktitle={Special Issue : Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016}, pages={901--902}, editor={Bach, V. and Fassbender, H.}, 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/41338"> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">In the last two decades, various machine models of computability have been generalized to work in the transfinite. I will give an overview of these models, some of the main results concerning them and some reasons why studying them is of interest outside of foundational considerations.</dcterms:abstract> <dcterms:issued>2016-10-25</dcterms:issued> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/41338"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dc:creator>Carl, Merlin</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-14T10:41:37Z</dcterms:available> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2018-02-14T10:41:37Z</dc:date> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/39"/> <dcterms:title>An Invitation to Infinitary Computability</dcterms:title> <dc:contributor>Carl, Merlin</dc:contributor> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto