Destination-Based HoL Blocking Elimination.

Teresa Nachiondo Frinós Jose Flich José Duato

Published in: ICPADS (1) (2006)

Keyphrases

theorem prover
formal methods
record linkage
natural deduction
higher order logic
information retrieval
shortest path
low priority
real world
image processing
decision trees
multi agent
theorem proving
higher order
ip addresses
elimination algorithm