Login / Signup
A proof-theoretic characterization of the basic feasible functionals.
Thomas Strahm
Published in:
Theor. Comput. Sci. (2004)
Keyphrases
</>
proof theoretic
proof theory
linear logic
nonmonotonic reasoning
default reasoning
constraint logic programming
model theoretic
special case
fixpoint
artificial intelligence
semantic web
model checking
deductive databases