Complexity of automata evaluating formulas
From MaRDI portal
Publication:1382592
zbMath0914.94028MaRDI QIDQ1382592
Anatoliy A. Chasovskikh, Alexander E. Andreev
Publication date: 29 March 1998
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
This page was built for publication: Complexity of automata evaluating formulas