( en | de | ru )

 

Disambiguierung von "Torres, José Maria Turull"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.

, , , und . SYNASC, Seite 133-140. IEEE, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

José-Maria Hinz

José-Maria Hinz

Maria-José Estevão

José Maria Wiest

José Maria Aroni

 

Weitere Publikationen von Autoren mit dem selben Namen

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