Similar Items: Foundations of regular coinduction
- Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Applications of Metric Coinduction
- Expressive Logics for Coinductive Predicates
- Indexed Induction and Coinduction, Fibrationally
- Formal Languages, Formally and Coinductively