( en | de | ru )

 

Disambiguation of "Torres, José Maria Turull"

Author of the publication

copydeleteadd this publication to your clipboard
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.

, , , and . SYNASC, page 133-140. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José-Maria Hinz

José-Maria Hinz

Maria-José Estevão

José Maria Wiest

José Maria Aroni

 

Other publications of authors with the same name

Completeness in Polylogarithmic Time and Space., , , and . CoRR, (2020)Towards an ASM Thesis for Reflective Sequential Algorithms., , and . ABZ, volume 9675 of Lecture Notes in Computer Science, page 244-249. Springer, (2016)Systematic Refinement of Abstract State Machines with Higher-Order Logic., , , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 204-218. Springer, (2018)On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic., , and . CoRR, (2016)Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems., , , and . FoIKS, volume 12012 of Lecture Notes in Computer Science, page 90-105. Springer, (2020)Descriptive complexity of deterministic polylogarithmic time and space., , , , and . J. Comput. Syst. Sci., (2021)The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic., , , and . SYNASC, page 133-140. IEEE, (2018)Descriptive Complexity of Deterministic Polylogarithmic Time., , , , and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 208-222. Springer, (2019)A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time., , , and . CoRR, (2019)Uniform Polylogarithmic Space Completeness., , , and . Frontiers Comput. Sci., (2022)