The Lattice of Lambda Theories.

Stefania Lusin Antonino Salibra

Published in: J. Log. Comput. (2004)

Keyphrases

theoretical framework
data sets
lattice structure
fixed point
lattice theory
data structure
computational models
concept lattice
lattice points
database
legal knowledge
boolean algebra
artificial neural networks
multi agent systems
case study
website
real time