Lagois Connections - a Counterpart to Galois Connections

Lagois Connections - a Counterpart to Galois Connections

Austin Melton, Bernd S. W. Schröder, George E. Strecker
0 / 0
0 comments
Quanto Você gostou deste livro?
Qual é a qualidade do ficheiro descarregado?
Descarregue o livro para avaliar a sua qualidade
De que qualidade são os ficheiros descarregados?
Categorias:
Computers - Computer Science
Ano:
1993
Edição:
version 23 Dec 1993
Idioma:
english
Páginas:
39
Série:
preprint of a paper (Theoretical Computer Science Volume 136, Issue 1, 19 December 1994, Pages 79--107)
Arquivo:
PDF, 329 KB
IPFS:
CID , CID Blake2b
english, 1993
Descargar (pdf, 329 KB)
  • Checking other formats...
  • O arquivo convertido pode ser diferente do original. se for possível, é melhor descarregar no formato original
A converter para
Conversão para falhou

Frases chave

 
lagois
galois
connections
proposition
computation
closure
moves
increasing
preserving
exists
figure
poset
element
sets
decreasing
function
implies
stk
equivalent
examples
map
ordered
theorem
zero
insertion
numeral
mimicked
inverse
neg
nition
extb
gfg
largest
operators
functions
interpreter
isomorphic
adjoint
corresponding
equal
corollary
integers
meets
partially
rst
stack
fgq
fgq0
figures
locus
maps
residuated
ticked
coercion
interpreters
joins
nite
partial
represents
topological