Coalgebraic up-to techniques

DOI10.1007/978-3-642-40206-7_4MaRDI QIDQ2848937zbMATH OpenOpenAlexFDO

Authors Damien Pous

Publication date 13 September 2013

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40206-7_4

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Categories of machines, automata (18B20)

Recommendations

• Proving language inclusion and equivalence by coinduction
• Checking NFA equivalence with bisimulations up to congruence
• Coinductive proof techniques for language equivalence
• Brzozowski's and up-to algorithms for must testing
• Coinductive algorithms for Büchi automata

Cited in

(7)

• Brzozowski's and up-to algorithms for must testing
• Proving language inclusion and equivalence by coinduction
• scientific article; zbMATH DE number 6864542 (Why is no real title available?)
• Checking NFA equivalence with bisimulations up to congruence
• Coinductive proof techniques for language equivalence
• Coinductive algorithms for Büchi automata
• Coinductive algorithms for Büchi automata

This page was built for publication: Coalgebraic up-to techniques

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