To access the full text documents, please follow this link: 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
Article
Oxford University Press
         

Show full item record

Related documents

Other documents of the same author

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

Coordination

 

Supporters