A Decidable Class of Equations in Recurs
โ
Review by: V. Vuckovic
๐
Article
๐
1969
๐
Association for Symbolic Logic
๐
English
โ 334 KB