Search - Descriptional Complexity of Formal Systems (DCFS 2017) Access content directly

Filter your results

1 Array
Image document

One-Time Nondeterministic Computations

Markus Holzer , Martin Kutrib
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.177-188, ⟨10.1007/978-3-319-60252-3_14⟩
Conference papers hal-01657018v1