Computing with infinitary logic
From MaRDI portal
Publication:672337
DOI10.1016/0304-3975(95)00027-TzbMATH Open0874.68274MaRDI QIDQ672337FDOQ672337
Authors: Moshe Y. Vardi, Victor Vianu, Serge Abiteboul 
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- Infinite computation, co-induction and computational logic
- Reasoning about infinite computations
- scientific article; zbMATH DE number 3888910
- scientific article; zbMATH DE number 139622
- Logic programming with infinite sets
- scientific article; zbMATH DE number 29724
- scientific article; zbMATH DE number 4025396
- Intuitionistic computability logic
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computable queries for relational data bases
- On uniformity within \(NC^ 1\)
- Title not available (Why is that?)
- Finite-model theory -- A personal perspective
- Datalog extensions for database queries and updates
- Computing with first-order logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational queries computable in polynomial time
- Structure and complexity of relational queries
- Infinitary logic and inductive definability over finite structures
- Infinitary logics and 0-1 laws
- On datalog vs polynomial time
- On Moschovakis closure ordinals
- Fixpoint logics, relational machines, and computational complexity
- Computing on structures
- Title not available (Why is that?)
Cited In (14)
- Logic programming with infinite sets
- Topological queries in spatial databases
- On the expressibility and the computability of untyped queries
- Adding for-loops to first-order logic
- Computable queries for object oriented databases
- Infinitary logic for computer science
- Reflective relational machines
- Computing with Infinite Terms and Infinite Reductions
- Computing with first-order logic
- Reasoning about infinite computations
- Computing on structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Relational Polynomial-Time Hierarchy and Second-Order Logic
This page was built for publication: Computing with infinitary logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672337)
