The query topology in logic programming

DOI10.1007/BFB0029000zbMath1494.68039MaRDI QIDQ5096171

Aida Batarekh, V. S. Subrahmanian

Publication date: 16 August 2022

Published in: STACS 89 (Search for Journal in Brave)

zbMATH Keywords

logic programmingtopological spacecompact Hausdorff spacecompact space

Mathematics Subject Classification ID

Compactness (54D30) Fixed-point and coincidence theorems (topological aspects) (54H25) Logic in computer science (03B70) Logic programming (68N17) Applications of general topology to computer science (e.g., digital topology, image processing) (54H30)

Related Items (2)

Logic programs, iterated function systems, and recurrent radial basis function networks ⋮ A topological characterization of \((\lambda,\mu)^*-compactness\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological model theory
• Canonical logic programs
• Invariant sets in topology and logic
• Commuting Mappings and Fixed Points
• Model theory of topological structures
• Some consequences of the normality of the space of models

This page was built for publication: The query topology in logic programming