One Unary Function Says Less Than Two in Existential Second Order Logic.

Published in: Inf. Process. Lett. (1997)

Keyphrases

higher order
sound and complete axiomatization
logic programming
multi valued
database
artificial intelligence
relational databases
piecewise linear
real time
genetic algorithm
search engine
website
pairwise
asynchronous circuits