"Second-Order Finite Automata: Expressive Power and Simple Proofs Using ..."

Dietrich Kuske (2021)

Details and statistics

DOI: 10.1007/978-3-030-81508-0_20

access: closed

type: Conference or Workshop Paper

metadata version: 2021-08-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics