Termination in a π-calculus with subtyping.

Ioana Cristescu Daniel Hirschkoff

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

term rewriting
type checking
rewrite systems
theorem proving
theorem prover
automated theorem proving
algebraic structure
computer algebra
database query languages
computer vision
image processing
bayesian networks
artificial neural networks
formal language