6 search results - page 2 / 2 » CIRC : A Circular Coinductive Prover |
SBMF
2010
Springer
12 years 12 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...