作 者:Yves Bertot ;Guillaume Allais
出 处:Journal of Formalized Reasoning. 2014 ;7(1):105-129.doi:10.6092/issn.1972-5787/4343
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:100489244
作 者:Andrew W. Appel ;Yves Bertot
出 处:Journal of Formalized Reasoning. 2021 ;13(1):1-16.doi:10.6092/issn.1972-5787/11442
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:1033132318
作 者:Andrew W. Appel ;Yves Bertot
出 处:Journal of Formalized Reasoning. 2021 ;13(1).doi:10.6092/issn.1972-5787/12643
出 版 社:Alma Mater Studiorum - University of Bologna
文 章 ID:1033132319