T-Norm Based Operations in Arrow Categories

Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-02149-8_5 ◽

2018 ◽

pp. 70-86 ◽

Author(s):

Michael Winter

Download Full-text