DOI10.1016/j.tcs.2011.10.003zbMath1279.68168MaRDI QIDQ764318
Alexander Okhotin, Oksana S. Yakimova
Publication date: 13 March 2012 Published in: Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.tcs.2011.10.003
zbMATH Keywords
context-free grammars; complementation; negation; language equations; Boolean grammars
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q42: Grammars and rewriting systems
Uses Software