C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Simple Sequent Calculus for Partial Functions.
Morten Elvang-Gøransson
Olaf Owe
Published in:
Theor. Comput. Sci. (1993)
Keyphrases
</>
sequent calculus
inference rules
cut elimination
feature space
dynamic programming
general purpose