Equality of proofs for linear equality.

Kosta Dosen Zoran Petric

Published in: Arch. Math. Log. (2008)

Keyphrases

information retrieval
genetic algorithm
fixpoint
computer vision
image processing
case study
first order logic
theorem proving
linear constraints
equivalence relation