Path: utzoo!attcan!uunet!samsung!zaphod.mps.ohio-state.edu!uwm.edu!csd4.csd.uwm.edu!litow
From: litow@csd4.csd.uwm.edu (Bruce E Litow)
Newsgroups: comp.theory
Subject: CFL containment
Keywords: CFL, decidability, containment
Message-ID: <5810@uwm.edu>
Date: 20 Aug 90 12:42:29 GMT
Sender: news@uwm.edu
Reply-To: litow@csd4.csd.uwm.edu (Bruce E Litow)
Organization: University of Wisconsin-Milwaukee
Lines: 9

H. Hunt, III and J. Rangel discuss solvable cases of CFL containment in:

Decidability of Equivalence, Containment, Intersection, and
Separability of Context-Free Languages in:

16th FOCS, 1975, 144-150.

Did this work subsequently appear in greater detail in a journal? Has there
been further work in this area? Please send e-mail.