TY - RPRT TI - A Fibrational Approach to Automata Theory AU - Liang-Ting Chen AU - Henning Urbat PY - 2015 DO - 10.4230/lipics.calco.2015.50 UR - https://arxiv.org/abs/1504.02692 ID - 1504.02692 ER -