Up a level |
Number of items: 1.
Feng, Weizhi, Li, Yong ORCID: 0000-0002-7301-9234, Turrini, Andrea, Vardi, Moshe Y and Zhang, Lijun
(2023)
On the power of finite ambiguity in Büchi complementation.
Information and Computation, 292.
p. 105032.