The Epsilon Calculus with Equality and Herbrand Complexity.

Kenji Miyamoto Georg Moser

Published in: CoRR (2019)

Keyphrases

complexity analysis
computational complexity
information systems
expert systems
logic programs
neural network
first order logic
sample complexity