Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$

DOI10.1007/978-3-319-06251-8_27zbMath1405.06003OpenAlexW334305301MaRDI QIDQ5410501

Sabine Frittella, Luigi Santocanale

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_27

Mathematics Subject Classification ID

Varieties of lattices (06B20)

Related Items (3)

Relational lattices: from databases to universal algebra ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Fixed-Point Elimination in the Intuitionistic Propositional Calculus

This page was built for publication: Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$