Lattice Properties

MaRDI QIDQ7361523FDO

Authors Viorel Preoteasa

Publication date 22 September 2011

Cites work

• An efficient machine-independent procedure for garbage collection in various list structures
• Data refinement of invariant based programs
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Lattice-ordered groups
• Zur Axiomatik der Elementargeometrie.

Cited in

(3)

• Pseudo Hoops
• Algebra of Monotonic Boolean Transformers
• Semantics and Data Refinement of Invariant Based Programs

This page was built for software: Lattice Properties