An alternative proof for the equivalence of ∞-searcher and 2-searcher.

Tsunehiko Kameda Ichiro Suzuki Masafumi Yamashita

Published in: Theor. Comput. Sci. (2016)

Keyphrases

search strategies
web search
database
data mining
social networks
similarity measure
multiscale
relational databases
mobile robot
theorem proving
decision procedures