Cyclic Proofs and Jumping Automata

DOI10.4230/LIPICS.FSTTCS.2019.45OpenAlexW2996961130MaRDI QIDQ5875682FDOQ5875682

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)