TY  - GEN
DO  - 10.1007/978-3-030-02149-8
DO  - doi
T1  - Relational and algebraic methods in computer science :17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29-November 1, 2018, Proceedings /
AU  - Desharnais, Jules,
AU  - Guttmann, Walter,
AU  - Joosten, Stef,
VL  - 11194
CN  - QA76.9.M35
N1  - International conference proceedings.
ID  - 851612
KW  - Computer science
KW  - Algebraic logic
KW  - Relation algebras
SN  - 9783030021498
SN  - 3030021491
TI  - Relational and algebraic methods in computer science :17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29-November 1, 2018, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-02149-8
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-02149-8
ER  -