[Lecture Notes in Computer Science] Relational and Kleene-Algebraic Methods in Computer Science Volume 3051 || Rasiowa-Sikorski Style Relational Elementary Set Theory
Berghammer, Rudolf; Möller, Bernhard; Struth, Georg
- 作者Berghammer, Rudolf; Möller, Bernhard; Struth, Georg
- 文件大小191.50KB
- 发表时间2004
- DOI10.1007/978-3-540-24771-5_19
- 页码215-226