Branching versus Linear Logics Yet Again.

José Carmo Amílcar Sernadas

Published in: Formal Aspects Comput. (1990)

Keyphrases

expressive power
linear complexity
branch and bound
search tree
data sets
artificial intelligence
image processing
multi agent
probabilistic model
higher order
modal logic
quadratic programming
classical logic