Coalgebraic up-to techniques
From MaRDI portal
Publication:2848937
Recommendations
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)