Definability of Leibniz Equality.

Raimon Elgueta Ramon Jansana

Published in: Stud Logica (1999)

Keyphrases

fixed point
propositional logic
databases
computer vision
decision making
image sequences
real world
data mining
preprocessing
pairwise
fixpoint
finite model theory