共 50 条
- [43] Relations as abstract datatypes: An institution to specify relations between algebras TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 756 - 771
- [44] Enriched Generic Algebras of Fuzzy Relations NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL I, PROCEEDINGS, 2007, : 161 - 168
- [45] Relations and Kleene algebras in computer science JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (06): : 219 - 220
- [47] Relations and Kleene algebras in computer science JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (08): : 705 - 706