4.MFCS 1975:捷克斯洛伐克玛丽安斯克·拉兹尼
杰里·贝克瓦尔 以下为:
1975年计算机科学数学基础,第四届研讨会,1975年9月1日至5日,捷克斯洛伐克,玛丽安斯克·拉兹尼,会议记录。 计算机科学课堂讲稿 32, 施普林格 1975 ,国际标准图书编号 0-387-07389-2
特邀报告
贾尼斯·巴兹丁 , 贾尼斯·比切夫斯基 , 奥德里斯·卡林斯 以下为:
构建完整的正确性测试样本系统。 1月12日 彼得·范·埃姆德·博阿斯 以下为:
十年加速。 13-29 彼得·哈耶克 以下为:
关于发现的逻辑。 30-45 迈克尔·哈里森 以下为:
操作系统中的保护模型。 46-60 雅罗斯拉夫·克拉尔 , 杰里·德姆纳 以下为:
解析为编译的子任务。 61-74 安东尼·马祖基维奇(Antoni W.Mazurkiewicz) 以下为:
并行递归程序方案。 75-87 米罗斯拉夫·诺沃特尼 以下为:
关于Pawlak机器的几个问题。 88-100 阿尔托·萨洛马 以下为:
Lindenmayer系统的形式幂级数和增长函数。 101-113 彼得·H·斯塔克 以下为:
用确定性和非确定性多带自动机表示关系。 114-124 鲍里斯·特拉赫滕布罗特 以下为:
关于通过连续试验解决的问题。 125-137 维拉·特伦科娃 以下为:
自动化和分类。 138-152年 I.D.扎斯拉夫斯基 以下为:
关于布尔函数可计算性的一些模型。 153-159
通信
杰里·阿达梅克 以下为:
自动机与范畴:有限性反极小性。 160-166 A.V.阿尼西莫夫 以下为:
自由组上的语言。 167-171 乔治奥·奥斯耶罗 , 马尔科·普罗塔西 以下为:
关于近似概念的比较。 172-178 贝内索娃先生 , 伊万·科雷克 以下为:
两寄存器Minsky机的非线性加速定理。 179-185 艾克·贝斯特 , 汉斯·阿尔布雷赫特·施密德 以下为:
Petri网中的开放路径系统。 186-193 吕克·博阿松 以下为:
关于上下文无关语言的完整AFL中最大的完整子AFL。 194-198 Michal Chytil公司 以下为:
非确定性图灵机计算的复杂性。 199-205 亚历山大·贾。 迪科夫斯基 以下为:
无上下文派生复杂类的闭包性质。 206-211 威尼斯·K·埃夫蒂莫夫 以下为:
单块程序中的控制结构。 212-218 R.V.Freivald公司 以下为:
极小哥德尔数及其在极限中的识别。 219-225 费伦斯·盖西格 以下为:
自动机的同构表示。 226至230 哈特曼·J·根里奇 以下为:
扩展的简单正则表达式。 231-237 朱塞皮娜·基尼 , 玛丽亚·基尼 以下为:
Conniver程序逻辑观点。 238-245 Jerzy W.Grzymala-Busse公司 以下为:
关于具有同一自同态单调的所有自动机的集合。 246-251 伊万·哈维尔 以下为:
非终端可识别的语言集。 252-257 托马斯·哈瓦内克 以下为:
计算统计学中的近似问题。 258-265 克劳斯标志 以下为:
一元语言的连续代数。 266-270 马克斯·卡诺维奇 以下为:
关于复杂编程数字集。 271-272 马雷克·卡宾斯基 以下为:
哈维尔分支自动机的决策算法。 273-279 瓦克拉夫·库贝克 , 简·雷特曼 以下为:
自动机和范畴-输入过程。 280-286 弗雷德·克罗格 以下为:
算法推理的形式化。 287-293 乔治·列维 , 弗兰科·西罗维奇 以下为:
证明程序属性、符号评估和逻辑过程语义。 294-301 扬·马卢辛斯基(Jan Maluszynski) 以下为:
对错误恢复的贡献。 302-307 奥托·迈耶 以下为:
关于上下文无关表达式的分析和合成问题。 308-314年 库尔特·梅尔霍恩 , 兹维·郭历理 以下为:
单音开关电路和布尔矩阵乘积。 315-319 伊凡·梅兹尼克 以下为:
关于可生成语言的一些格理论性质。 320至325 拉里萨·莫迪纳 以下为:
关于生成依赖树的一些形式语法。 326-329 彼得·A·吴 , 裴霞 , 雷蒙德·T·耶 以下为:
图形行走自动机。 330-336 尤根·珀尔 以下为:
关于寻找分区问题的所有解。 337-343 Alica Pirická-Kelemenová 以下为:
格雷巴赫范式复杂性。 344-350 里玛·I·波德洛夫琴科 以下为:
一些Ianov图式等价关系的正确性和本质。 351-357 帕维尔·普德拉克 以下为:
自动发现逻辑中的多项式完全问题。 358-361 瓦克拉夫·拉利希 以下为:
计算机语言的关系定义。 362-376 威廉·德罗弗 以下为:
按名称调用到按值调用的一阶约简。 377-398 鲁彻奇卡 以下为:
局部消歧转换。 399-404 丹·西莫维奇 以下为:
关于基本顺序外测度。 405至410 马克·B·特拉赫滕布罗特 以下为:
关于序列函数和并行函数的表示。 411-417 G.E.谢特林 以下为:
修正后代数和多维自动机结构理论。 418-425 雷蒙德·特纳 以下为:
形式语言的代数理论。 426-431 马尔斯·瓦利耶夫 以下为:
有限呈现群中递归呈现群嵌入条件下单词问题的多项式可约性。 432-438 吕迪格·瓦尔克 以下为:
关于多初始状态自动机的综合。 439-444 克劳斯·瓦格纳 以下为:
规则序列集的层次结构。 445-449 沃尔夫冈·韦克勒 以下为:
R-模糊语法。 450-456 Gerd Wechsung先生 以下为:
用复杂性类描述一些上下文无关语言类。 457-461 罗尔夫·维哈根 以下为:
递归函数的归纳推理。 462-464年 约泽夫·温考斯基 以下为:
用谓词逻辑证明程序的性质。 465-471 博莱斯瓦·沃伊迪洛(Boleslaw Wojdylo) 以下为:
斯科特流程图的推广。 472-476