Without Loss of Generality

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_3 ◽

2009 ◽

pp. 43-59 ◽

Cited By ~ 10

Author(s):

John Harrison

Download Full-text