Generic separations and leaf languages


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

GALOTA, Matthias, Sven KOSUB, Heribert VOLLMER, 2003. Generic separations and leaf languages. In: Mathematical Logic Quarterly. 49(4), pp. 353-362. ISSN 0942-5616. eISSN 1521-3870. Available under: doi: 10.1002/malq.200310037

@article{Galota2003-07Gener-44943, title={Generic separations and leaf languages}, year={2003}, doi={10.1002/malq.200310037}, number={4}, volume={49}, issn={0942-5616}, journal={Mathematical Logic Quarterly}, pages={353--362}, author={Galota, Matthias and Kosub, Sven and Vollmer, Heribert} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource=""/> <dcterms:issued>2003-07</dcterms:issued> <dcterms:abstract xml:lang="eng">In the early nineties of the previous century, leaf languages were introduced as a means for the uniform characterization of many complexity classes, mainly in the range between P (polynomial time) and PSPACE (polynomial space). It was shown that the separability of two complexity classes can be reduced to a combinatorial property of the corresponding defining leaf languages. In the present paper, it is shown that every separation obtained in this way holds for every generic oracle in the sense of Blum and Impagliazzo. We obtain several consequences of this result, regarding, e. g., universal oracles, simultaneous separations and type‐2 complexity.</dcterms:abstract> <dcterms:title>Generic separations and leaf languages</dcterms:title> <dc:date rdf:datatype="">2019-02-08T13:36:20Z</dc:date> <dc:contributor>Galota, Matthias</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:available rdf:datatype="">2019-02-08T13:36:20Z</dcterms:available> <dc:creator>Kosub, Sven</dc:creator> <dc:contributor>Vollmer, Heribert</dc:contributor> <dc:creator>Vollmer, Heribert</dc:creator> <dc:contributor>Kosub, Sven</dc:contributor> <dc:creator>Galota, Matthias</dc:creator> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:isPartOfCollection rdf:resource=""/> <bibo:uri rdf:resource=""/> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Mein Benutzerkonto