Comparing Algebraic-Structures up to Algorithmic Equivalence (1973)

by D Kfoury
Venue:In Automata, Languages and Programming