• DocumentCode
    2176886
  • Title

    Decidability of equivalence, containment, intersection, and separability of context-free languages

  • Author

    Hunt, H.B. ; Rangel, J.L.

  • fYear
    1975
  • fDate
    13-15 Oct. 1975
  • Firstpage
    144
  • Lastpage
    150
  • Keywords
    Brazil Council; Contracts; Military computing; Optical character recognition software; Production; Scholarships;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1975., 16th Annual Symposium on
  • Conference_Location
    USA
  • ISSN
    0272-5428
  • Type

    conf

  • DOI
    10.1109/SFCS.1975.11
  • Filename
    4567871