Login / Signup
The decidability of the intensional fragment of classical linear logic.
Katalin Bimbó
Published in:
Theor. Comput. Sci. (2015)
Keyphrases
</>
linear logic
fixed point
logic programming
proof theoretic
desirable properties
proof search
higher order
logical framework
sequent calculus
automata theoretic
machine learning
general purpose
query answering
intuitionistic logic
query evaluation
cut elimination