On the Expressiveness and Decidability of Higher-Order Process Calculi.

Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt

Published in: LICS (2008)

Keyphrases

higher order
decision making
description logics
databases
artificial intelligence
information systems
database systems
expressive power