De Jongh and Glivenko theorems for equality theories.

Published in: J. Appl. Non Class. Logics (2007)

Keyphrases

theoretical framework
data sets
image processing
data structure
domain theory
legal knowledge
computer vision
multimedia
mobile robot
information processing
expressive power
fixpoint
ordered sets