Results 211 to 216 of about 1,135,760 (216)

Kurosh–Amitsur Radicals via a Weakened Galois Connection

Communications in Algebra, 2003
exaly  

Galois connection based abstract interpretations for strictness analysis

2005
Patrick Cousot, Radhia Cousot
exaly  

Galois-Tukey connection involving sets of metrics

Tsukuba Journal of Mathematics, 2012
exaly  

Pre-Galois Connection on Coalgebras for Generic Component Refinement

Electronic Notes in Theoretical Computer Science, 2008
exaly  

Galois Connections and Closures

2018
openaire   +1 more source

The Galois-Connection Between Function- and Relation-Algebras

2006
exaly