Cyclic Proofs and Jumping Automata

DOI10.4230/LIPICS.FSTTCS.2019.45MaRDI QIDQ5875682zbMATH OpenOpenAlexFDO

Authors 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

transducersregular languagesmulti-head automatacyclic proofs

Mathematics Subject Classification ID

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

Cited in

(2)

• Cyclic implicit complexity
• Jumping Automata for Uniform Strategies

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875682)