On the power of finite ambiguity in Büchi complementation.

Weizhi Feng Yong Li Andrea Turrini Moshe Y. Vardi Lijun Zhang

Published in: Inf. Comput. (2023)

Keyphrases

power consumption
finite number
case study
multiscale
relational databases
information gain