A logical calculus for polynomial-time realizability.

John N. Crossley Gerald L. Mathai Robert A. G. Seely

Published in: Methods Log. Comput. Sci. (1994)

Keyphrases

special case
approximation algorithms
computational complexity
worst case
lambda calculus
real time
case study
probabilistic logic
logical structure
logical reasoning
learning algorithm
artificial intelligence
logical framework
algebraic structure
logical properties
logical operations