作 者:Bruno Grenet ;Erich L. Kaltofen ;Pascal Koiran 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:543-554.doi:10.4230/LIPIcs.STACS.2011.543
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845843
作 者:Bruno Grenet ;Pascal Koiran ;Natacha Portier 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:127-139.doi:10.4230/LIPIcs.FSTTCS.2011.127
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845873
作 者:Natacha Portier ;Thomas Wilke
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;20:i-xvii.doi:10.4230/LIPIcs.STACS.2013.i
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846238
作 者:Natacha Portier ;Thomas Wilke
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;20:646-647.doi:10.4230/LIPIcs.STACS.2013.646
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846297
作 者:Ernst W. Mayr ;Natacha Portier
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:i-xvi.doi:10.4230/LIPIcs.STACS.2014.i
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846435