第十二届形式系统描述复杂度年度研讨会论文集
形式语言与自动机理论
2010-08-10 v1 计算复杂性
离散数学
信息论
计算机科学中的逻辑
math.IT
摘要
第十二届年度研讨会——2010 年形式系统描述复杂度研讨会,于 2010 年 8 月 8 日至 10 日在加拿大萨斯卡通举行。该研讨会由 IFIP 第 1.2 工作组(描述复杂度)和萨斯喀彻温大学计算机科学系联合组织。本卷收录了特邀讲座和录用论文。
引用
@article{arxiv.1008.1270,
title = {Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems},
author = {Ian McQuillan and Giovanni Pighizzini},
journal= {arXiv preprint arXiv:1008.1270},
year = {2010}
}
备注
These proceedings are dedicated to Chandra M. R. Kintala, who passed away on November 05, 2009, at the age of 61. We, the DCFS community, remember him as Chair of the IFIP Working Group 1.2 on Descriptional Complexity, as a co-initiator of the area of descriptional complexity with limited resources and as a co-founder of the workshops DCAGRS and DCFS. He was on the program committee for this DCFS2010 and did unfortunately not live to see the results of the submission and reviewing process