An interpretive isomorphism between binary and ternary relations

Lecture Notes in Computer Science - Structures in Logic and Computer Science ◽

10.1007/3-540-63246-8_6 ◽

1997 ◽

pp. 84-105 ◽

Author(s):

Dale Myers

Download Full-text