A Pi-Calculus with Explicit Substitutions.

Gian Luigi Ferrari Ugo Montanari Paola Quaglia

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

Keyphrases

decision making
case study
information retrieval
genetic algorithm
natural language
formal language
natural deduction
algebraic structure
computer algebra