A Homological Condition on Equational Unifiability.

Published in: MFCS (2021)

Keyphrases

theorem proving
sufficient conditions
information systems
feature selection
evolutionary algorithm
theorem prover
betti numbers
image processing
face recognition
user interface