The Epsilon Calculus and Herbrand Complexity.

Georg Moser Richard Zach

Published in: Stud Logica (2006)

Keyphrases

complexity analysis
worst case
logic programs
first order logic
computational complexity
logic programming
neural network
real world
machine learning
information systems
database systems
bayesian networks
theoretical analysis
space complexity