Connections between Relation Algebras and Cylindric Algebras

Hodkinson, I

doi:https://www.dx.doi.org/10.1007/978-3-319-24704-5_2

File(s)

hodkinson.pdf (331.66 KB)

Accepted version

Author(s)

Hodkinson, I

Type

Conference Paper

Abstract

We give an informal description of a recursive representability-preserving reduction of relation algebras to cylindric algebras.

Editor(s)

Kahl, W

Winter, M

Oliveira, JN

Date Issued

2015-11-08

Date Acceptance

2015-09-28

Citation

Relational and Algebraic Methods in Computer Science, 2015, 9348, pp.27-42

URI

http://hdl.handle.net/10044/1/28674

DOI

https://www.dx.doi.org/10.1007/978-3-319-24704-5_2

ISBN

978-3-319-24703-8

ISSN

0302-9743

Publisher

Springer

Start Page

27

End Page

42

Journal / Book Title

Relational and Algebraic Methods in Computer Science

Volume

9348

Copyright Statement

The final publication is available at Springer via https://dx.doi.org/10.1007/978-3-319-24704-5_2

Source

15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS)

Subjects

Science & Technology

Technology

Computer Science, Theory & Methods

Computer Science

Publication Status

Published

Start Date

2015-09-28

Finish Date

2015-10-01

Coverage Spatial

Braga, PORTUGAL