Descriptive Complexity Theory for Constraint Databases

Նմանատիպ նյութեր

• Descriptive Complexity Theory for Constraint Databases
  ‌: Kreutzer, S
  Հրապարակվել է: (1999)
• Operational Semantics for Fixed−Point Logics on Constraint Databases
  ‌: Kreutzer, S
  Հրապարակվել է: (2001)
• Fixed−point Query Languages for Linear Constraint Databases
  ‌: Kreutzer, S
  Հրապարակվել է: (2000)
• Once upon a time in the west – Determinacy‚ definability and complexity of path games
  ‌: Berwanger, D, և այլն
  Հրապարակվել է: (2003)
• Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
  ‌: Kreutzer, S
  Հրապարակվել է: (2001)