6 search results - page 2 / 2 » tphol 2002 |
143
click to vote
TPHOL
2002
IEEE
15 years 7 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...