search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Proof-relevant pi-calculus.

Roly Perera James Cheney

Published in: LFMTP (2015)

Keyphrases

provably correct
theorem proving
automated theorem proving
information systems
natural deduction
real time
proof search
data sets
real world
website
decision trees
data structure
evolutionary algorithm
automated deduction
sequent calculus