Strong normalisation in the pi -calculus.

Nobuko Yoshida Martin Berger Kohei Honda

Published in: Inf. Comput. (2004)

Keyphrases

computer algebra
data sets
information retrieval
information systems
decision making
expert systems
automated deduction
natural deduction