Results 201 to 204 of about 986 (204)
Some of the next articles are maybe not open access.

Galois Connections

2003
openaire   +1 more source

Galois connection based abstract interpretations for strictness analysis

2005
Patrick Cousot   +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
galois connections
mathematics
formal concept analysis
computer science - programming languages
rough sets
knowledge representation
theoretical computer science
modal logic
programming languages cs.pl
previous   19  20  21  

Home - About - Disclaimer - Privacy