Direct proofs of the undecidability of t
β
G. Rozenberg
π
Article
π
1972
π
Elsevier Science
π
English
β 447 KB