Termination in a Pi-calculus with Subtyping

Ioana Cristescu Daniel Hirschkoff

Published in: EXPRESS (2011)

Keyphrases

term rewriting
type checking
theorem proving
rewrite systems
theorem prover
neural network
information systems
automated deduction
computer algebra
data structure
x ray
expressive power
relational calculus
automated theorem proving