Title :
Decidability of equivalence, containment, intersection, and separability of context-free languages
Author :
Hunt, H.B. ; Rangel, J.L.
Keywords :
Brazil Council; Contracts; Military computing; Optical character recognition software; Production; Scholarships;
Conference_Titel :
Foundations of Computer Science, 1975., 16th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SFCS.1975.11
