菲利普·莫拉克（编辑）;彼得·桑科夫斯基（编辑） 2011年计算机科学数学基础。2011年8月22日至26日，波兰华沙，第36届国际研讨会，MFCS 2011。诉讼程序。 （英语） Zbl 1219.68020号 计算机科学课堂讲稿6907.柏林：施普林格出版社（ISBN 978-3-642-22992-3/pbk）。xv，618页。(2011). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。关于上一次研讨会，请参见[Zbl 1194.68039号].索引文章：梅·盖尔克，二元性和识别，3-18[Zbl 1343.68158号]丹尼尔·克里斯滕，恒星高度问题的一些变体，19-33[Zbl 1343.68142号]尤拉姆·巴赫拉赫，阈值网络流游戏的最小核心，36-47[Zbl 1343.91011号]保罗·巴尔丹；法比奥·加杜奇（Fabio Gadducci）；Pawel索波辛斯基，附着力不够：重访当地的Church-Rosser，48-59[Zbl 1343.68126号]塞巴斯蒂安·鲍尔。；乌里·法伦贝格（Uli Fahrenberg）；Juhl，线；Larsen，Kim G。；阿克塞尔·勒盖；瑟兰，克劳斯，加权模态转换系统的定量细化，60-71[Zbl 1343.68150号]佩特拉·贝伦布里克（Petra Berenbrink）；罗伯特·埃尔萨瑟；汤姆·弗里德茨基；Nagel，Lars；托马斯·索尔瓦尔德，通过与八卦应用程序的复制加快优惠券收集速度，72-83[Zbl 1343.60003号]奥拉夫·贝尔斯多夫（Olaf Beyersdorff）；萨米尔·达塔；Meena Mahajan；谢尔芬伯格-费边（Scharfenberger-Fabian，Gido）；卡提克Sreenivasaiah；迈克尔·托马斯；赫里贝特·沃尔默，验证恒定深度的证明，84-95[Zbl 1343.03044号]马库斯·巴泽尔；Radu Curticapean公司，有界度平面图覆盖多项式的复杂性，96-107[Zbl 1343.68090号]米歇尔·巴切莱特；西尔万·施密茨，向量加法系统的模型检查覆盖图，108-119[Zbl 1343.68152号]安德烈·博格达诺夫；川崎、秋野；田中，Hidetoki，素域上低次多项式的硬函数，120-131[Zbl 1343.68091号]博利格，贝内迪克特；西里亚克，爱斯瓦里亚；保罗·加斯丁（Paul Gastin）；马克·泽顿，并发递归程序的时态逻辑：可满足性和模型检查，132-144[Zbl 1343.68055号]雷米发动机盖，一个零检验向量加法系统的可达性问题，145-157[Zbl 1343.68160号]克里斯蒂娜·鲍彻，最近字符串问题的有界搜索树算法具有二次平滑复杂度，158-169[Zbl 1343.68319号]奥利维尔·布尔内斯；格拉萨，丹尼尔·S。；阿默里·波利，无界域上多项式时间解析微分方程的求解，170-181[Zbl 1343.03035号]罗伯特·布雷德里克；安德烈·尼切特林；罗尔夫·尼德迈尔；菲利普·格瓦尔盖塞，模式引导的数据匿名化和聚类，182-193[Zbl 1343.68105号]斯坦尼斯拉夫·博姆；斯特凡·格勒，确定性实时单计数器自动机的语言等价为NL-完全，194-205[Zbl 1343.68133号]克里希南多·查特吉；劳伦特·多恩，能量和平均值平价马尔可夫决策过程，206-218[Zbl 1343.90107号]杰切克·克尔兹；阿列克西·舒伯特，多态性在软类型复杂性表征中的作用，219-230[Zbl 1343.68082号]大卫·A·科恩（David A.Cohen）。；信条，Páidí；彼得·杰文斯（Peter G.Jeavons）。；斯坦尼斯拉夫·伊文，值约束复杂性的代数理论：建立Galois连接，231-242[兹比尔1343.68106]托马斯·科尔科姆贝特（Thomas Colcombet）；莱伊，克莱门斯；加布里埃尔，小狗，关于使用数据逻辑保护，243-255[Zbl 1343.03032号]德蒙科夫（Demenkov），叶夫根尼（Evgeny）；亚历山大·库利科夫。，仿射发散器电路复杂度a（3n-o（n））下界的初等证明，256-265[Zbl 1343.68092号]里卡多·唐迪；Giancarlo Mauri；意大利佐皮斯，关于（l）-多样性问题的复杂性，266-277[Zbl 1343.68108号]Laurent Doyen；蒂埃里·马萨特（Thierry Massart）；Shirmohammadi，马赫萨，概率自动机的无限同步字，278-289[Zbl 1343.68136号]10 Cate，Balder；亚历山德罗·法奇尼，刻画无限树上的EF和传递图上的模态逻辑，290-302[Zbl 1343.03017号]约翰·费恩利（John Fearnley）；奥德拉基什，中等树宽图上的奇偶校验博弈，303-314[Zbl 1343.91012号]彼得·弗兰克；斯特凡·拉特肖恩（Stefan Ratschan）；彼得·兹列琴斯基，实解析函数方程组的可满足性是拟定的，315-326[Zbl 1343.03036号]Pawe Gawrychowski；杰·阿图尔；安德烈亚斯·马莱蒂，关于最小化有错误的自动机，327-338[Zbl 1343.68137号]Petr A.Golovach。；马钦·卡明斯基；丹尼尔·保卢斯马，将弦图收缩为分裂图或树，339-350[Zbl 1343.68116号]Golovkins、Marats；克拉夫采夫，马克西姆；瓦西利亚斯·克拉夫切夫斯，量子有限自动机和概率可逆自动机：（mathcal{R}）-平凡幂等语言，351-363[Zbl 1343.68138号]伊迪丝·赫玛斯潘德拉；海宁·施诺尔，一个普遍定义的不可判定单峰逻辑，364-375[Zbl 1343.03014号]Hosoda，Jun；朱拉吉·赫罗姆科维奇；岩美、大冢；大野弘太郎；莫妮卡·斯坦诺娃；小一和田，关于最小主题连通覆盖的逼近性及其特殊实例，376-387[Zbl 1343.68096号]安妮·玛丽（Anne Marie）；克里斯托弗·特里夫斯每个人都能比敌人离朋友更近吗？，388-399 [Zbl 1343.68184号]弗拉基米尔·科尔莫戈罗夫，树上的子模：统一\（L^\自然\）-凸函数和双子模函数，400-411[Zbl 1343.90078号]安德烈亚斯·克雷布斯；利马伊、努坦；斯里尼瓦桑，用于识别几乎带圆括号的表达式的流算法，412-423[Zbl 1343.68143号]迪特里希·库斯克；托马斯·韦德纳，内射树自动表示的大小和计算，424-435[Zbl 1343.03029号]理查德·利普顿（Richard J.Lipton）。；肯尼思·雷根（Kenneth W.Regan）。；阿特里·鲁德拉，对称函数捕获一般函数（扩展抽象），436-447[Zbl 1343.68087号]马库斯·洛伊，逆拟群的压缩字问题，448-459[Zbl 1343.68145号]安德烈亚斯·马莱蒂；丹尼尔·昆海姆，推动加权树自动机，460-471[Zbl 1343.68146号]Manea，Florin；罗伯特·梅尔卡什；塔林·蒂西努，部分单词的周期算法，472-484[Zbl 1343.68188号]亚历山大·奥霍廷（Alexander Okhotin）；凯·萨洛马，输入驱动下推自动机操作的状态复杂性，485-496[Zbl 1343.68147号]克利斯朵夫·保罗；安东尼·佩雷斯；圣埃芬托马斯，冲突填充为\（k\）-FAST、\（k\）-稠密RTI和相关问题497-507生成线性顶点核[Zbl 1343.68119号]凯文·佩罗（Kevin Perrot）；埃里克·雷米拉，卡丹诺夫沙堆模型雪崩的转导，波型出现的应用，508-519[Zbl 1343.37011号]米夏·皮利普祖克，在单指数时间内可处理的树宽参数化问题：一种逻辑方法，520-531[Zbl 1343.68120号]弗里德曼，瓦迪米尔；伯恩德·普查拉，常规和无上下文规范的分布式合成，532-543[Zbl 1343.68031号]Krzywdziñski，K。；Rybarczyk，K。，带有随机删除边的几何图形–连接和路由协议，544-555[Zbl 1343.68186号]奥坎·桑库尔，定时系统中的非定时语言保存，556-567[Zbl 1343.68148号]Kei Uchizawa；Eiji Takimoto，通过能量复杂性自变量的线性决策树的下界，568-579[Zbl 1343.68102号]迈克尔·范登·布姆，无限树上的弱代价一元逻辑，580-591[Zbl 1343.03033号]王建新；杨永杰；郭炯；陈建尔，具有小距离性质的平面图问题的线性问题核，592-603[Zbl 1343.68123号]肖明玉；Kloks，Ton；Poon，Sheung-Hung村，用于边控制集问题的新参数化算法，604-615[Zbl 1343.68125号] 引用于1审查引用于1文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 68季度xx 计算理论 00B25型 杂项特定利益的会议记录 引文：Zbl 1194.68039号 PDF格式BibTeX公司 XML格式引用 \textit{F.Murlak}（编辑）和\textit{P.Sankowski}（编），2011年计算机科学数学基础。2011年8月22日至26日，波兰华沙，第36届国际研讨会，MFCS 2011。诉讼程序。柏林：施普林格出版社（2011；Zbl 1219.68020） 全文： 内政部