OFFSET
0,3
LINKS
Olivier Bodini, Antoine Genitrini and Frédéric Peschanski, The Combinatorics of Non-determinism, In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 24, pp. 425-436, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013).
CROSSREFS
KEYWORD
nonn
AUTHOR
Antoine Genitrini, Mar 06 2014
STATUS
approved