From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper).

Stefan Milius

Browse the full CALCO paper archive.