Login / Signup
DAG Sequents with Substitution.
Marcelo Finger
Published in:
We Will Show Them! (1) (2005)
Keyphrases
</>
linear logic
sequent calculus
directed acyclic graph
fixed point
inference rules
directed acyclic
logic programming
desirable properties
logical framework
modal logic
objective function
data structure
search algorithm
higher order
suffix tree