共 50 条
- [34] Bounded choice-free Petri net synthesis: algorithmic issues Acta Informatica, 2018, 55 : 575 - 611
- [38] Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 35 - 52