Effective Computability in Algebraic Structures (A Schematology Approach)

Effective Computability in Algebraic Structures (A Schematology Approach) Denis J. Kfoury 19-26 conf/focs/FOCS13 1972 FOCS db/conf/focs/focs72.html#Kfoury72