Coinductive Proof Techniques for Language Equivalence

DOI10.1007/978-3-642-37064-9_42zbMath1333.68173OpenAlexW2103294040MaRDI QIDQ4910486

Marcello M. Bonsangue, Jurriaan Rot, Jan J. M. M. Rutten

Publication date: 18 March 2013

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37064-9_42

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

Deciding Synchronous Kleene Algebra with Derivatives ⋮ Proving language inclusion and equivalence by coinduction ⋮ Enhanced coalgebraic bisimulation ⋮ Equations, Contractions, and Unique Solutions

Uses Software

• CIRC

This page was built for publication: Coinductive Proof Techniques for Language Equivalence