|
|||||
|
|
Ordered domain algebras |
|
| Authors: | Robin Hirsch Szabolcs Mikulás |
| Affiliation: | 1. Department of Computer Science, University College London, United Kingdom;2. Department of Computer Science and Information Systems, Birkbeck College, University of London, United Kingdom |
| Abstract: | We give a finite axiomatisation to representable ordered domain algebras and show that finite algebras are representable on finite bases. |
| Keywords: | Domain algebra Finite representation Relation Finite axiomatisation Cayley representation |
| 本文献已被 ScienceDirect 等数据库收录！ | |