3 citations · 13 across the 17 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.DM2015★ 1 cited
Arrow type impossibility theorems over median algebras
Miguel Couceiro, Stephan Foldes, Gerasimos C. Meletiou
We characterize trees as median algebras and semilattices by relaxing conservativeness. Moreover, we describe median homomorphisms between products of median algebras and show that…
math.LO2015
On closed sets of relational constraints and classes of functions closed under variable substitutions
Miguel Couceiro, Stephan Foldes
Pippenger's Galois theory of finite functions and relational constraints is extended to the infinite case. The functions involved are functions of several variables on a set an…