Generic Expression Hardness Results for Primitive Positive Formula Comparison

Simone Bova Hubie Chen Matthew Valeriote

Published in: CoRR (2012)

Keyphrases

high level
domain specific
computational complexity
positive and negative
database
artificial intelligence
higher level
databases
neural network
multi agent
special case