The following pages link to Jose Maria Turull Torres (Q186060):
Displaying 32 items.
- (Q1685919) (redirect page) (← links)
- On fragments of higher order logics that on finite structures collapse to second order (Q1685920) (← links)
- Proper hierarchies in polylogarithmic time and absence of complete problems (Q2206779) (← links)
- Descriptive complexity of deterministic polylogarithmic time (Q2303589) (← links)
- A study of homogeneity in relational databases (Q2349826) (← links)
- Computing queries with higher-order logics (Q2369013) (← links)
- Arity and alternation: a proper hierarchy in higher order logics (Q2385450) (← links)
- Descriptive complexity of deterministic polylogarithmic time and space (Q2662676) (← links)
- Relational Complexity and Higher Order Logics (Q2807086) (← links)
- (Q3075228) (← links)
- (Q3086725) (← links)
- SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy (Q3224003) (← links)
- Semantic Restrictions over Second-Order Logic (Q3458159) (← links)
- Complete Problems for Higher Order Logics (Q3613351) (← links)
- (Q4233479) (← links)
- (Q4249026) (← links)
- The Space Complexity of Elimination Theory: Upper Bounds (Q4336106) (← links)
- (Q4413451) (← links)
- (Q4472219) (← links)
- (Q4504014) (← links)
- (Q4699344) (← links)
- Computable Queries for Object Oriented Databases (Q4916216) (← links)
- Expressibility of Higher Order Logics (Q4924534) (← links)
- A restricted second-order logic for non-deterministic poly-logarithmic time (Q5082331) (← links)
- Expressing properties in second- and third-order logic: hypercube graphs and SATQBF (Q5176677) (← links)
- Games on Trees and Syntactical Complexity of Formulas (Q5436997) (← links)
- A Theory of Local Set Queries (Q5463272) (← links)
- (Q5491513) (← links)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic (Q5504578) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)
- Foundations of Information and Knowledge Systems (Q5898540) (← links)
- On the expressibility and the computability of untyped queries (Q5936000) (← links)
