One-Time Nondeterministic Computations

Markus Holzer 0001, Martin Kutrib. One-Time Nondeterministic Computations. In Giovanni Pighizzini, Cezar Câmpeanu, editors, Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings. Volume 10316 of Lecture Notes in Computer Science, pages 177-188, Springer, 2017. [doi]

Abstract

Abstract is missing.