作 者:Stéphane Le Roux ;Arno Pauly
出 处:Logical Methods in Computer Science. 2015 ;11(4):1.doi:10.2168/LMCS-11(4:6)2015
出 版 社:Technical University of Braunschweig
文 章 ID:264692115
作 者:Patricia Bouyer ;Stéphane Le Roux ;Youssouf Oualhadj 等
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-44.doi:10.46298/lmcs-18(1:11)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046950