Congress detail
Authors: Cristiá, Maximiliano; Rossi, Gianfranco.
Title: A Set Solver for Finite Set Relation Algebra.
Resumen: setlog.
Meeting type: Conferencia.
Type of job: Artículo Completo.
Production: A Set Solver for Finite Set Relation Algebra.
Scientific meeting: 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2018).
It's published?: Yes
Publication place: Groninga
Meeting month: 8