Strong Normalisation in the pi-Calculus.

Nobuko Yoshida Martin Berger Kohei Honda

Published in: LICS (2001)

Keyphrases

data sets
genetic algorithm
artificial intelligence
x ray
automated theorem proving