L(B)? A simplified decidability proof. Theoret (2002)

by L
Venue:Comput. Sci