Showing cs.MAShow all
2 papers · 1 filter
cs.MA2022
Counting and Computing Join-Endomorphisms in Lattices (Revisited)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez +2
Structures involving a lattice and join-endomorphisms on it are ubiquitous in computer science. We study the cardinality of the set of all join-endomorphisms of a…
cs.MA2020
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Michell Guzmán, Sophia Knight, Santiago Quintero +3
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about t…