KOPS - Das Institutionelle Repositorium der Universität Konstanz

A polynomial encoding provability in pure mathematics (outline of an explicit construction)

A polynomial encoding provability in pure mathematics (outline of an explicit construction)

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

CARL, Merlin, Boris MOROZ, 2013. A polynomial encoding provability in pure mathematics (outline of an explicit construction). In: Bulletin of the Belgian Mathematical Society - Simon Stevin. 20(1), pp. 181-187. ISSN 1370-1444

@article{Carl2013polyn-23006, title={A polynomial encoding provability in pure mathematics (outline of an explicit construction)}, year={2013}, number={1}, volume={20}, issn={1370-1444}, journal={Bulletin of the Belgian Mathematical Society - Simon Stevin}, pages={181--187}, author={Carl, Merlin and Moroz, Boris} }

<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/23006"> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/23006"/> <dc:rights>deposit-license</dc:rights> <dc:contributor>Carl, Merlin</dc:contributor> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:creator>Moroz, Boris</dc:creator> <dc:contributor>Moroz, Boris</dc:contributor> <dc:language>eng</dc:language> <dc:creator>Carl, Merlin</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-04-24T07:20:05Z</dcterms:available> <dcterms:issued>2013</dcterms:issued> <dcterms:bibliographicCitation>Bulletin of the Belgian Mathematical Society - Simon Stevin ; 20 (2013), 1. - S. 181-187</dcterms:bibliographicCitation> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2013-04-24T07:20:05Z</dc:date> <dcterms:title>A polynomial encoding provability in pure mathematics (outline of an explicit construction)</dcterms:title> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto