Computation with classical sequents.

Steffen van Bakel Pierre Lescanne

Published in: Math. Struct. Comput. Sci. (2008)

Keyphrases

linear logic
sequent calculus
data sets
information systems
website
data structure
expert systems
probabilistic model
probability distribution
inference rules
efficient computation