scientific article; zbMATH DE number 7649887

DOI10.4230/LIPIcs.CALCO.2019.4MaRDI QIDQ5875344

Damien Pous

Publication date: 3 February 2023

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coalgebraautomataformal proofscoinduction

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Paco
• AmiCo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Paco
• Equational properties of Kleene algebras of relations with conversion
• A completeness theorem for Kleene algebras and the algebra of regular events
• Notes on equational theories of relations
• A lattice-theoretical fixpoint theorem and its applications
• Deciding Kleene Algebras in Coq
• The power of parameterization in coinductive proof
• Checking NFA equivalence with bisimulations up to congruence
• Companions, Codensity and Causality
• Friends with Benefits
• Une remarque sur les systèmes complets d'identités rationnelles
• On the bisimulation proof method
• Petri Automata for Kleene Allegories
• Coinduction All the Way Up
• A coinductive calculus of streams
• Completeness for Identity-free Kleene Lattices
• Kleene Algebra with Tests and Coq Tools for while Programs

This page was built for publication: