Original language | Undefined/Unknown |
---|---|
Pages (from-to) | 623-717 |
Number of pages | 95 |
Journal | Journal of Logic and Algebraic Programming |
Volume | 81 |
Publication status | Published - 2012 |
Relational and Algebraic Methods in Computer Science (Guest editor Journal of Logic and Algebraic Programming; special issue)
Harrie de Swart
Research output: Contribution to journal › Article › Academic › peer-review