A theory of finite maps

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-60275-5_61 ◽

1995 ◽

pp. 122-137 ◽

Author(s):

Graham Collins ◽

Donald Syme

Download Full-text