Tau laws for pi calculus.

Yuxi Fu Zhenrong Yang

Published in: Theor. Comput. Sci. (2003)

Keyphrases

computer vision
proof procedure
computer algebra
real world
information retrieval
search engine
social networks
evolutionary algorithm
automated theorem proving
sequent calculus