Equational and implicational classes of co-algebras.

Published in: RelMiCS (1998)

Keyphrases

theorem proving
genetic algorithm
computer vision
class labels
theorem prover
horn clauses
optimal solution
lower bound
evolutionary algorithm
probabilistic model
object classes