On Confluence in the pi-Calculus.

Anna Philippou David Walker

Published in: ICALP (1997)

Keyphrases

rewrite systems
term rewriting
data sets
database
real time
genetic algorithm
learning algorithm
knowledge base
website
data structure
artificial neural networks
cardinal directions
automated deduction