Dynamic algebras and the nature of induction

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804649 ◽

1980 ◽

Cited By ~ 23

Author(s):

V. R. Pratt

Download Full-text