A decompilation of the pi-calculus and its application to termination

Roberto M. Amadio

Published in: CoRR (2011)

Keyphrases

term rewriting
type checking
case study
database
automated deduction
rewrite systems
data mining
information systems
database systems
fuzzy sets
operational semantics