DOI10.1016/j.tcs.2010.09.015zbMath1207.68197MaRDI QIDQ616494
Alexander Okhotin
Publication date: 10 January 2011 Published in: Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.tcs.2010.09.015
zbMATH Keywords
language equations; Boolean grammars; conjunctive grammars; circuit value problem; Trellis automata
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q42: Grammars and rewriting systems
Uses Software