Monadic Logic of Order over Naturals has no Finite Base.

Danièle Beauquier Alexander Moshe Rabinovich

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

Keyphrases

data sets
artificial intelligence
search algorithm
database
real time
databases
multiscale
relational databases