To access the full text documents, please follow this link: http://hdl.handle.net/2117/9280

Expressive power and complexity of a logic with quantifiers that count proportions of sets
Arratia Quesada, Argimiro Alejandro; Ortiz Gómez, Carlos
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
Computational complexity
Computer logic
Complexitat computacional
Lògica informàtica
Article - Draft
Article
         

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.
Arratia Quesada, Argimiro Alejandro; Stewart, Iain A.
 

Coordination

 

Supporters