Cyclic Proofs and Jumping Automata

DOI10.4230/LIPICS.FSTTCS.2019.45OpenAlexW2996961130MaRDI QIDQ5875682

Denis Kuperberg, Laureline Pinault, Damien Pous

Publication date: 3 February 2023

Full work available at URL: https://hal.archives-ouvertes.fr/hal-02301651

zbMATH Keywords

regular languagestransducersmulti-head automatacyclic proofs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: Cyclic Proofs and Jumping Automata