Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1022738
Image document

Unary Self-verifying Symmetric Difference Automata

Laurette Marais , Lynette Van Zijl
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.180-191, ⟨10.1007/978-3-319-41114-9_14⟩
Conference papers hal-01633957v1
Image document

State Complexity of Unary SV-XNFA with Different Acceptance Conditions

Laurette Marais , Lynette Van Zijl
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.250-261, ⟨10.1007/978-3-319-60252-3_20⟩
Conference papers hal-01657002v1