Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/8034

Approximate formulae for a logic that capture classes of computational complexity
Arratia Quesada, Argimiro Alejandro; Ortiz, Carlos E.
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica::Aplicacions informàtiques a la física i l‘enginyeria
Computer logic
Computational complexity
Complexitat computacional
Lògica informàtica
info:eu-repo/semantics/submittedVersion
Artículo
Oxford University Press
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos
Arratia Quesada, Argimiro Alejandro; Stewart, Iain A.
Arratia Quesada, Argimiro Alejandro; Stewart, Iain A.