TY - RPRT TI - Nondeterministic State Complexity of Positional Addition AU - Galina Jirásková AU - Alexander Okhotin PY - 2009 DO - 10.4204/eptcs.3.14 UR - https://arxiv.org/abs/0907.5072 ID - 0907.5072 ER -