|
|||||
|
|
A Short Proof of Representability of Fork Algebras |
|
| Authors: | GYURIS VIKTOR |
| Affiliation: | Eötvös Lor{acute}nd University Budapest, Hungary E-mail: viktor{at}ludens.elte.hu |
| Abstract: | |
| Keywords: | fork algebras quasi-projective relation algebras relation algebras representation theorem algebraic logic theoretical computer science program specification |
| 本文献已被 Oxford 等数据库收录！ | |