"A Fibrational Approach to Automata Theory."

Liang-Ting Chen, Henning Urbat (2015)

Details and statistics

DOI: 10.4230/LIPICS.CALCO.2015.50

access: open

type: Conference or Workshop Paper

metadata version: 2024-08-04

a service of  Schloss Dagstuhl - Leibniz Center for Informatics