Computing with infinitary logic

DOI10.1016/0304-3975(95)00027-TzbMATH Open0874.68274MaRDI QIDQ672337FDOQ672337

Victor Vianu, Serge Abiteboul, Moshe Y. Vardi

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

query languagesinfinitary logic

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computable queries for relational data bases
• On uniformity within \(NC^ 1\)
• Finite-model theory -- A personal perspective
• Datalog extensions for database queries and updates
• Computing with first-order logic
• 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

Cited In (11)

• Logic programming with infinite sets
• Topological queries in spatial databases
• On the expressibility and the computability of untyped queries
• Reflective relational machines
• Computing with Infinite Terms and Infinite Reductions
• Reasoning about infinite computations
• Computing on structures
• Computable Queries for Object Oriented Databases
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Relational Polynomial-Time Hierarchy and Second-Order Logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Intuitionistic computability logic 👍 👎
• Reasoning about infinite computations 👍 👎
• Infinite Computation, Co-induction and Computational Logic 👍 👎
• Logic programming with infinite sets 👍 👎

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)