A Gandy Theorem for Abstract Structures and Applications to First-Order Definability.

Oleg V. Kudinov Victor L. Selivanov

Published in: CiE (2009)

Keyphrases

first order logic
high level
higher order
fixed point
propositional logic
finite model theory
search algorithm
higher level
quantifier elimination
real time
case study
similarity measure
multiscale
low level