DMCA

Mechanizing structural induction (1979)

by Raymond Aubin , Ph D
Venue:Theor. Comput. Sci
Citations:42 - 0 self