Structures involving a lattice and join-endomorphisms on it are ubiquito...
Let L be a finite lattice and ℰ(L) be the set of join
endomorphisms of L...
Spatial constraint systems (scs) are semantic structures for reasoning a...
This paper addresses the issue of specifying, simulating, and verifying
...