DMCA

On induction vs. *-continuity (1981)

Cached

Download Links

by Dexter Kozen
Venue:Proc. Workshop on Logics of Programs 1981, Spring-Verlag Lect. Notes in Comput
Citations:20 - 10 self