A functional presentation of Pi calculus.

Published in: Sci. China Ser. F Inf. Sci. (2001)

Keyphrases

multimedia
real time
neural network
information retrieval
artificial intelligence
metadata
search algorithm
proof procedure
functional analysis