达格斯图尔报告，第5卷，第6期

摘要

引用为

《达格斯图尔报告》，第5卷，第6期，达格斯图宫——莱布尼茨-泽特鲁姆-富尔信息（2016）

@第{DagRep.5.6条，title={{Dagstuhl Reports，第5卷，第6期，2015年6月，完整版}}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={5}，数字={6}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6},URN={URN:nbn:de:0030-drops-57707}，doi={10.4230/DagRep.5.6}，annote={关键词：达格斯图尔报告，第5卷，第6期，2015年6月，完整版}}

摘要

引用为

《达格斯图尔报告》，第5卷，第6期，第i-ii页，达格斯图宫-莱布尼兹·泽特鲁姆宫（2016）

@第{DagRep.5.6.i条，title={{Dagstuhl Reports，目录，第5卷，第6期，2015年}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={5}，数字={6}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.i},URN＝{URN:nbn:de:00030-drops-57691}，doi={10.4230/DagRep.5.6.i}，annote={关键词：达格斯图尔报告，目录，第5卷，第6期，2015年}}

摘要

引用为

克雷格·布蒂利尔、布丽塔·多恩、尼古拉斯·莫代特和文森特·梅林。计算社会选择：理论与应用（达格斯图尔研讨会15241）。《达格斯图尔报告》，第5卷，第6期，第1-27页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{条boutiler_et_al:DagRep.5.6.1，author={布利耶、克雷格和多恩、布里塔和莫代特、尼古拉斯和梅林、文森特}，title={{计算社会选择：理论与应用（达格斯图尔研讨会15241）}}，页数={1--27}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={5}，数字={6}，editor={布利耶、克雷格和多恩、布里塔和莫代特、尼古拉斯和梅林、文森特}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.1},URN={URN:nbn:de:0030-drops-55050}，doi={10.4230/DagRep.5.6.1}，annote={关键词：计算社会选择、投票、匹配、公平划分}}

摘要

引用为

彼得·比尔吉瑟、菲利佩·库克、马雷克·卡宾斯基和尼古拉·沃罗布乔夫。符号和数字问题的复杂性（达格斯图尔研讨会15242）。在《达格斯图尔报告》第5卷第6期第28-47页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2016）

@文章{burgisser_et_al:DagRep.5.6.28，作者={B\“{u} 乔治尔、彼得和库克、费利佩和卡宾斯基、马雷克和沃罗布乔夫、尼古拉}、，title={{符号和数字问题的复杂性（达格斯图尔研讨会15242）}}，页数={28--47}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={5}，数字={6}，编辑器={B\“{u} 乔治尔、彼得和库克、费利佩和卡宾斯基、马雷克和沃罗布乔夫、尼古拉}、，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.28},URN={URN:nbn:de:0030-drops-55066}，doi={10.4230/DagRep.5.6.28}，annote={关键词：符号计算，实代数几何中的算法，复杂性下限，数值算法的几何}}

摘要

引用为

安妮·库伊特（Annie Cuyt）、乔治·拉巴恩（George Labahn）、阿夫拉哈姆·西迪（Avraham Sidi）和李文欣（Wen-shin Lee）。稀疏建模和多指数分析（Dagstuhl研讨会15251）。在《达格斯图尔报告》第5卷第6期第48-69页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2016）

@第{cuyt_et_al:DagRep5.6.48条，author={Cuyt、Annie和Labahn、George和Sidi、Avraham和Lee、Wen-shin}，title={{稀疏建模和多指数分析（Dagstuhl研讨会15251）}}，页数={48--69}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={5}，数字={6}，editor={Cuyt、Annie和Labahn、George和Sidi、Avraham和Lee、Wen-shin}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.48},URN={URN:nbn:de:0030-drops-55073}，doi={10.4230/DagRep.5.6.48}，annote={关键词：稀疏插值，指数分析，信号处理，有理逼近}}

摘要

引用为

Erich Grädel、Juha Kontinen、Jouka Väänänen和Heribert Vollmer。依赖与独立的逻辑（达格斯图尔研讨会15261）。《达格斯图尔报告》第5卷第6期第70-85页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{gradel_et_al:DagRep.5.6.70条，author={Gr\“{a} 德尔、埃里希和科廷、朱哈和V“{a}”{a} n个\"{a} 嫩Jouka和Vollmer，Heribert}，title={{依赖与独立的逻辑（达格斯图尔研讨会15261）}}，页数={70--85}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={5}，数字={6}，editor={Gr\“{a} 德尔、埃里希和科廷、朱哈和V“{a}”{a} n个\"{a} 嫩Jouka和Vollmer，Heribert}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.6.70},URN={URN:nbn:de:0030-drops-55084}，doi={10.4230/DagRep.5.6.70}，annote={关键词：团队语义、依赖逻辑、数学逻辑、计算复杂性、有限模型理论、博弈论}}