José Maria Turull Torres

Frontiers Comput. Sci., 2022

2021

Descriptive complexity of deterministic polylogarithmic time and space.

[BibT_eX]

[DOI]

Jan Van den Bussche

Jonni Virtema

J. Comput. Syst. Sci., 2021

2020

A restricted second-order logic for non-deterministic poly-logarithmic time.

[BibT_eX]

[DOI]

Log. J. IGPL, 2020

Completeness in Polylogarithmic Time and Space.

[BibT_eX]

[DOI]

CoRR, 2020

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2020

2019

Descriptive Complexity of Deterministic Polylogarithmic Time.

[BibT_eX]

[DOI]

Jan Van den Bussche

Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases.

[BibT_eX]

Loredana Tec

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Systematic Refinement of Abstract State Machines with Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2017

2016

On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic.

[BibT_eX]

[DOI]

Loredana Tec

CoRR, 2016

Relational Complexity and Higher Order Logics.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2016

Towards an ASM Thesis for Reflective Sequential Algorithms.

[BibT_eX]

[DOI]

Loredana Tec

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2014

Expressing properties in second- and third-order logic: hypercube graphs and SATQBF.

[BibT_eX]

[DOI]

Wei Ren

Log. J. IGPL, 2014

2012

SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy.

[BibT_eX]

[DOI]

Alejandro L. Grosso

José M. Turull Torres

Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011

Semantic Restrictions over Second-Order Logic.

[BibT_eX]

[DOI]

Alejandro L. Grosso

Proceedings of the Semantics in Data and Knowledge Bases, 5th International Workshop, 2011

2010

Redundant Relations in Relational Databases: A Model Theoretic Perspective.

[BibT_eX]

[DOI]

Alejandra Lorena Paoletti

J. Univers. Comput. Sci., 2010

A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types.

[BibT_eX]

[DOI]

Alejandro L. Grosso

Proceedings of the SCCC 2010, 2010

2009

First-Order Types and Redundant Relations in Relational Databases.

[BibT_eX]

[DOI]

Alejandra Lorena Paoletti

José M. Turull Torres

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

2008

The Relational Polynomial-Time Hierarchy and Second-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

2007

Games on Trees and Syntactical Complexity of Formulas.

[BibT_eX]

[DOI]

Michal Krynicki

Log. J. IGPL, 2007

Arity and alternation: a proper hierarchy in higher order logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

2006

Computing queries with higher-order logics.

[BibT_eX]

[DOI]

Lauri Hella

Theor. Comput. Sci., 2006

Relational Databases and Homogeneity in Logics with Counting.

[BibT_eX]

[DOI]

Acta Cybern., 2006

Complete Problems for Higher Order Logics.

[BibT_eX]

[DOI]

Lauri Hella

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005

A Theory of Local Set Queries.

[BibT_eX]

[DOI]

Log. J. IGPL, 2005

Fixed-Point Quantifiers in Higher Order Logics.

[BibT_eX]

[DOI]

Proceedings of the Information Modelling and Knowledge Bases XVII, 2005

2004

Erratum for: A Study of Homogeneity in Relational Databases [Annals of Mathematics and Artificial Intelligence 33(2) (2001) 379-414].

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

On the Computation of Approximations of Database Queries.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2004, 2004

2003

Expressibility of Higher Order Logics.

[BibT_eX]

[DOI]

Lauri Hella

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

2002

Computable Queries for Object Oriented Databases.

[BibT_eX]

[DOI]

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

2001

On the expressibility and the computability of untyped queries.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2001

A study of homogeneity in relational databases.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2001

Semantic Classifications of Queries to Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Databases, 2001

2000

Reflective Relational Machines Working on Homogeneous Databases.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2000

1999

Reflective Relational Machines of Bounded Variable Complexity.

[BibT_eX]

Proceedings of the Advances in Databases and Information Systems, 1999

1998

Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers.

[BibT_eX]

[DOI]