Login / Signup
On the expressiveness and decidability of higher-order process calculi.
Ivan Lanese
Jorge A. Pérez
Davide Sangiorgi
Alan Schmitt
Published in:
Inf. Comput. (2011)
Keyphrases
</>
higher order
databases
data mining
information systems