Atom structures of cylindric algebras and relation algebras
Author: Hodkinson I.1
Source: Annals of Pure and Applied Logic, Volume 89, Number 2, 8 December 1997 , pp. 117-148(32)
Publisher: Elsevier
Keywords: Completions; Representations; Sahlqvist equations; Atom-canonicity; [AMS classification codes] Primary 03G15; [AMS classification codes] Secondary 03C05, 03C25,
Language: English
Document Type: Research article
DOI: 10.1016/S0168-0072(97)00015-8
Affiliations: 1: Imperial College, Department of Computing, London SW7 2BZ, UK

Click here for Page Help