A metatheorem for undecidable properties
โ
Stephan Heilbrunner
๐
Article
๐
1983
๐
Elsevier Science
โ 127 KB