Strong extension axioms and Shelah's zero-one law for choiceless polynomial time.

Andreas Blass Yuri Gurevich

Published in: J. Symb. Log. (2003)

Keyphrases

computational complexity
special case
high level
real time
knowledge base
first order logic
approximation algorithms
legal reasoning
polynomial size
low degree
neural network
real world
data mining
query language
worst case