A first-order isomorphism theorem
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/370609
Tipus de documentReport de recerca
Data publicació1992
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
We show that for most complexity classes of interest, all sets complete under first-order projections are isomorphic under first-order isomorphisms. That is, a very restricted version of the Berman-Hartmanis Conjecture holds.
CitacióAllender, E.; Balcazar, J.L.; Immerman, N. A first-order isomorphism theorem. 1992.
Forma partLSI-92-31-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400013448.pdf | 584,0Kb | Visualitza/Obre |