TY - RPRT TI - Representing a P-complete problem by small trellis automata AU - Alexander Okhotin PY - 2009 DO - 10.4204/eptcs.1.18 UR - https://arxiv.org/abs/0906.3208 ID - 0906.3208 ER -