|
|||||
|
|
Axiomatising Various Classes of Relation and Cylindric Algebras |
|
| Authors: | Hirsch, Robin Hodkinson, Ian |
| Affiliation: | 1 Department of Computer Science, University College London, Gower Street, London WC1, UK. E-mail: R.Hirsch{at}cs.ucl.ac.uk 2 Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ, UK. E-mail: imh{at}doc.ic.ac.uk |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |