TY  - GEN
DO  - 10.1007/978-3-319-24704-5
DO  - doi
T1  - Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, Proceedings /
AU  - Kahl, W.
AU  - Winter, Michael
AU  - Oliveira, José N.,
VL  - 9348
CN  - QA76.9.M35
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 734097
KW  - Computer science
KW  - Algebraic logic
KW  - Relation algebras
SN  - 9783319247045
SN  - 3319247042
TI  - Relational and algebraic methods in computer science15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24704-5
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-24704-5
ER  -