Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

1 Array
Image document

Error-Free Affine, Unitary, and Probabilistic OBDDs

Rishat Ibrahimov , Kamil Khadiev , Krišjānis Prūsis , Abuzer Yakaryilmaz
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.175-187, ⟨10.1007/978-3-319-94631-3_15⟩
Conference papers hal-01905639v1