A metatheorem for undecidable properties
β
Stephan Heilbrunner
π
Article
π
1983
π
Elsevier Science
β 127 KB