Equational axiomatization of algebras with structure

DOI10.1007/978-3-030-17127-8_23OpenAlexW2902041117MaRDI QIDQ2289091

Henning Urbat, Stefan Milius

Publication date: 28 January 2020

Full work available at URL: https://arxiv.org/abs/1812.02016

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (8)

Finitary monads on the category of posets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Discrete equational theories ⋮ Unnamed Item ⋮ Eilenberg's variety theorem without Boolean operations ⋮ On language varieties without Boolean operations ⋮ Unnamed Item

This page was built for publication: Equational axiomatization of algebras with structure