Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata

Laurette Marais, Lynette van Zijl. Descriptional Complexity of Non-Unary Self-Verifying Symmetric Difference Automata. Int. J. Found. Comput. Sci., 33(3&4):313-333, 2022. [doi]

Authors

Laurette Marais

This author has not been identified. Look up 'Laurette Marais' in Google

Lynette van Zijl

This author has not been identified. Look up 'Lynette van Zijl' in Google