Implication Algebras and Implication Semigroups of Binary Relations

von Lewis-Smith, Andrew
Veröffentlicht in International Conference on Relational and Algebraic Methods in Computer Science (20. : 2023 : Augsburg) Relational and algebraic methods in computer science (2023)