Rational series and their languages
Rational series and their languages
Derivatives of Regular Expressions
Journal of the ACM (JACM)
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Automata and coinduction (an exercise in coalgebra)
Automata and coinduction (an exercise in coalgebra)
Universal coalgebra: a theory of systems
Universal coalgebra: a theory of systems
Derivation of Rational Expressions with Multiplicity
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Exercises in Coalgebraic Specification
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |