Algebraic reasoning over relational structures

DOI10.46298/ENTICS.14598MaRDI QIDQ6831445zbMATH OpenFDO

Authors Jan Jurka, Stefan Milius, Henning Urbat

Publication date 2 April 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

algebraequationvarietyrelational structureBirkhoff

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: Algebraic reasoning over relational structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6831445)