A Fixed Point Theorem on Lexicographic Lattice Structures

DOI10.1145/3373718.3394797zbMath1498.06009OpenAlexW3031008428MaRDI QIDQ5145643

Angelos Charalambidis, Giannos Chatziagapis, Panos Rondogiannis

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3373718.3394797

zbMATH Keywords

latticeslexicographic orderingfixpoint

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Structure theory of lattices (06B05)

This page was built for publication: A Fixed Point Theorem on Lexicographic Lattice Structures