Results 161 to 169 of about 888,944 (169)

Galois connection for multiple-output operations

Algebra Universalis, 2018
Emil Jerabek, Jerabek Emil
exaly  

Pre-Galois Connection on Coalgebras for Generic Component Refinement

Electronic Notes in Theoretical Computer Science, 2008
Meng Sun
exaly  

Galois connections

1997
openaire   +1 more source

Noise–Disturbance Relation and the Galois Connection of Quantum Measurements

Foundations of Physics, 2019
Takayuki Miyadera, Claudio Carmeli, Alessandro Toïgo   +2 more
exaly  

Galois Connections

2003
openaire   +1 more source

Galois connection based abstract interpretations for strictness analysis

2005
Patrick Cousot, Radhia Cousot, Cousot Patrick   +2 more
exaly  

Galois-Tukey connection involving sets of metrics

Tsukuba Journal of Mathematics, 2012
exaly  

Galois Connections and Closures

2018
openaire   +1 more source

The Galois-Connection Between Function- and Relation-Algebras

2006
exaly