Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complex Algebras of Arithmetic
Fundamenta Informaticae
Finite symmetric integral relation algebras with no 3-cycles
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Complex Algebras of Arithmetic
Fundamenta Informaticae
Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
| Hi-index | 0.00 |