Login / Signup
A Free Variable Sequent Calculus with Uniform Variable Splitting.
Arild Waaler
Roger Antonsen
Published in:
TABLEAUX (2003)
Keyphrases
</>
logic programs
general purpose
linear logic