The query topology in logic programming
From MaRDI portal
Publication:5096171
DOI10.1007/BFb0029000zbMath1494.68039MaRDI QIDQ5096171
Aida Batarekh, V. S. Subrahmanian
Publication date: 16 August 2022
Published in: STACS 89 (Search for Journal in Brave)
54D30: Compactness
54H25: Fixed-point and coincidence theorems (topological aspects)
03B70: Logic in computer science
68N17: Logic programming
54H30: Applications of general topology to computer science (e.g., digital topology, image processing)
Related Items
Cites Work