作 者:Simon Hudon ;Guillaume Bertholon ;rik Martin-Dorel 等
出 处:Proceedings of the National Academy of Sciences. 2019 ;116(42):20815-20816.doi:10.1073/pnas.1913835116
出 版 社:The National Academy of Sciences of the United States of America
文 章 ID:239774939
作 者:Jeremy Avigad ;Mario Carneiro ;Simon Hudon
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-19.doi:10.4230/LIPIcs.ITP.2019.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:240116663