On Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time.

Simon Guilloud Viktor Kuncak

Published in: CoRR (2021)

Keyphrases

classical logic
worst case
multiscale
knowledge base
real time
genetic algorithm
information systems
image processing
web services
equivalence relation