Descriptive Complexity Theory for Constraint Databases

Descriptive Complexity Theory for Constraint Databases

Taispeáin leaganacha eile (1)

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Grädel, E, Kreutzer, S
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 1999

Míreanna comhchosúla

Descriptive Complexity Theory for Constraint Databases
de réir: Kreutzer, S
Foilsithe / Cruthaithe: (1999)

Operational Semantics for Fixed−Point Logics on Constraint Databases
de réir: Kreutzer, S
Foilsithe / Cruthaithe: (2001)

Fixed−point Query Languages for Linear Constraint Databases
de réir: Kreutzer, S
Foilsithe / Cruthaithe: (2000)

Once upon a time in the west – Determinacy‚ definability and complexity of path games
de réir: Berwanger, D, et al.
Foilsithe / Cruthaithe: (2003)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
de réir: Kreutzer, S
Foilsithe / Cruthaithe: (2001)

Will Deflation Lead to Depletion? On Non−Monotone Fixed−Point Inductions
de réir: Grädel, E, et al.
Foilsithe / Cruthaithe: (2003)

Equational Theories and Database Constraints
de réir: Cosmadakis, Stavros Stylianos
Foilsithe / Cruthaithe: (2023)

Backtracking Games and Inflationary Fixed Points
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2006)

Inflationary Fixed Points in Modal Logics
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2001)

Backtracking games and inflationary fixed points
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2004)

Inflationary Fixed Points in Modal Logics
de réir: Dawar, A, et al.
Foilsithe / Cruthaithe: (2004)

On the Computational Complexity of Cardinality Constraints in Relational Databases
de réir: Kanellakis, Paris C.
Foilsithe / Cruthaithe: (2023)

Danish Urogynaecological Database
de réir: Hansen UD, et al.
Foilsithe / Cruthaithe: (2016-10-01)

Descriptive Complexity Theories
de réir: Joerg Flum
Foilsithe / Cruthaithe: (2010-01-01)

Finite model theory and its applications /
de réir: Gradel, Erich, 1958-
Foilsithe / Cruthaithe: (2007)

Randomisation and Derandomisation in Descriptive Complexity Theory
de réir: Kord Eickmeyer, et al.
Foilsithe / Cruthaithe: (2011-09-01)

Derivation of Constraints and Database Relations
de réir: D.A.Cohen, et al.
Foilsithe / Cruthaithe: (1996)

THE USE OF COMPLEXITY HIERARCHIES IN DESCRIPTIVE SET THEORY AND AUTOMATA THEORY
de réir: ALESSANDRO ANDRETTA, et al.
Foilsithe / Cruthaithe: (2005-07-01)

Integrity Constraints Maintenance For Parallel Databases
de réir: Ahmad Hamed Hanandeh, Feras
Foilsithe / Cruthaithe: (2006)

Last Glacial loess in Europe: luminescence database and chronology of deposition
de réir: M. Bosq, et al.
Foilsithe / Cruthaithe: (2023-10-01)

The Danish Collaborative Bacteraemia Network (DACOBAN) database
de réir: Gradel KO, et al.
Foilsithe / Cruthaithe: (2014-09-01)

Antarctic Ice Sheet paleo-constraint database
de réir: B. S. Lecavalier, et al.
Foilsithe / Cruthaithe: (2023-08-01)

Applying constraint-based theory to a complex aerospace manufacturing process
de réir: Charpentier, Erik L
Foilsithe / Cruthaithe: (2015)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2010)

An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection.
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2011)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2011)

An Algebraic Theory of Complexity for Valued Constraints: Establishing a Galois Connection
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2010)

An algebraic theory of complexity for valued constraints: Establishing a Galois connection
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2011)

Lectures in game theory for computer scientists /
de réir: Apt, Krzysztof R., 1949-, et al.
Foilsithe / Cruthaithe: (c201)

Decomposing Constraint Satisfaction Problems Using Database Techniques
de réir: M.Gyssens, et al.
Foilsithe / Cruthaithe: (1994)

Database Constraints Applied to Metabolic Pathway Reconstruction Tools
de réir: Jordi Vilaplana, et al.
Foilsithe / Cruthaithe: (2014-01-01)

The canonical formulation of E6(6) exceptional field theory
de réir: Lars T. Kreutzer
Foilsithe / Cruthaithe: (2021-07-01)

The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs
de réir: Felix Canavoi, et al.
Foilsithe / Cruthaithe: (2012-10-01)

Computational constraints in cognitive theories of forgetting
de réir: Ullrich eEcker, et al.
Foilsithe / Cruthaithe: (2012-10-01)

The complexity of constraint languages
de réir: Cohen, D, et al.
Foilsithe / Cruthaithe: (2006)

The Complexity of Independence−Friendly Fixpoint Logic
de réir: Bradfield, J, et al.
Foilsithe / Cruthaithe: (2007)

The Complexity of Independence−Friendly Fixpoint Logic
de réir: Bradfield, J, et al.
Foilsithe / Cruthaithe: (2005)

The theory of constraints : applications in quality and manufacturing /
de réir: 363916 Stein, Robert E.
Foilsithe / Cruthaithe: (1997)

Rewriting Conjunctive Queries under Description Logic Constraints
de réir: Pérez−Urbina, H, et al.
Foilsithe / Cruthaithe: (2008)

Constraints: A Language for Expressing Almost-Hierarchical Descriptions
de réir: Sussman, Gerald Jay, et al.
Foilsithe / Cruthaithe: (2004)