Login / Signup
Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata.
Laurette Marais
Lynette van Zijl
Published in:
AFL (2017)
Keyphrases
</>
database
pairwise
np complete
finite automata