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