( 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

José Maria Wiest

Maria-José Estevão

José Maria Aroni

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Towards an ASM Thesis for Reflective Sequential Algorithms., , und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 244-249. Springer, (2016)Relational Complexity and Higher Order Logics.. FoIKS, Volume 9616 von Lecture Notes in Computer Science, Seite 311-333. Springer, (2016)Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases., , und . Models: Concepts, Theory, Logic, Reasoning and Semantics, Seite 92-121. College Publications, (2018)A restricted second-order logic for non-deterministic poly-logarithmic time., , , und . Log. J. IGPL, 28 (3): 389-412 (2020)The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic., , , und . SYNASC, Seite 133-140. IEEE, (2018)Descriptive Complexity of Deterministic Polylogarithmic Time., , , , und . WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 208-222. Springer, (2019)A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time., , , und . CoRR, (2019)On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order., , und . WoLLIC, Volume 10388 von Lecture Notes in Computer Science, Seite 125-139. Springer, (2017)