A Proof Search Specification of the pi-Calculus.

Alwen Fernanto Tiu Dale Miller

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
proof procedure
sequent calculus
cut elimination
high level
first order logic
natural deduction
modal logic
decision procedures
graphical models
probability distribution
natural language