A synchronous pi-calculus

Roberto M. Amadio

Published in: CoRR (2006)

Keyphrases

computer algebra
proof procedure
data sets
genetic algorithm
theorem proving
formal language
algebraic structure
information retrieval
search engine
website