共 50 条
- [2] Relational and algebraic methods in computer science [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (06): : 623 - 624
- [7] Ewa Orlowska on Relational Methods in Logic and Computer Science [J]. STUDIA LOGICA, 2021, 109 (02) : 443 - 445