An efficient recognizer for the Boolean closure of context-free languages

From MaRDI portal
Publication:802880