On the elimination of some higher type quantifiers.

Yasuwo Ikeda Kohji Tomita Chiharu Hosono

Published in: Math. Struct. Comput. Sci. (2001)

Keyphrases

higher quality
artificial intelligence
multiscale
natural language
high levels
case study
high level
data analysis
end users
first order logic