Bisimulation and Co-induction: Some Problems.

Davide Sangiorgi

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

optimization problems
np complete
inductive learning
solving problems
artificial intelligence
computer vision
feature selection
feature space
linear programming
inductive logic programming
problems involving
related problems
difficult problems