EasyChair Smart Slide
Canonical Expressions of Finite-State Behaviours and Completeness of Equational Axiomatisations
Canonical Expressions of Finite-State Behaviours and Completeness of Equational Axiomatisations