TY - JOUR AU - Huckenbeck, Ulrich TI - On geometric automata which can nondeterministically choose auxiliary points JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1990 SP - 471 EP - 487 VL - 24 IS - 5 PB - EDP-Sciences UR - http://archive.numdam.org/item/ITA_1990__24_5_471_0/ LA - en ID - ITA_1990__24_5_471_0 ER -