scientific article; zbMATH DE number 4180775
From MaRDI portal
zbMATH Open0716.68020MaRDI QIDQ3204028FDOQ3204028
Recommendations
Cited In (34)
- Capturing the polynomial hierarchy by second-order revised Krom logic
- Implicit definability and infinitary logic in finite model theory (extended abstract)
- The expressive power of the bounded-iteration construct
- Infinitary logics and 0-1 laws
- Adding for-loops to first-order logic
- Canonization for two variables and puzzles on the square
- Semantics and expressive power of nondeterministic constructs in deductive databases
- Non-determinism in logic-based languages
- On the equivalence of recursive and nonrecursive Datalog programs
- Fixed-point extensions of first-order logic
- Abstract state machines and computationally complete query languages
- Descriptive complexity for counting complexity classes
- Infinitary logic for computer science
- Generalized hex and logical characterizations of polynomial space
- Counting modulo quantifiers on finite structures
- Reflective relational machines
- Datalog extensions for database queries and updates
- Title not available (Why is no real title available?)
- Extending Datalog with arrays
- \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
- Title not available (Why is no real title available?)
- Comparison of expressive power of some query languages for databases
- Functions over free algebras definable in the simply typed lambda calculus
- Fundamental properties of deterministic and nondeterministic extensions of Datalog
- A Step Up in Expressiveness of Decidable Fixpoint Logics
- Negation in rule-based database languages: A survey
- Computing on structures
- A logic of fixpoint definitions
- Principles of programming with complex objects and collection types
- Fixpoint semantics for logic programming a survey
- Existential fixed-point logic, universal quantifiers, and topoi
- Complexity and expressive power of second-order extended Horn logic
- The expressiveness of a family of finite set languages
- Procedural languages for database queries and updates
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204028)
