稻崎康夫（编辑） 算法：数学基础和应用。1986年2月3日至5日在京都大学数学科学研究所举行的研讨会论文集。 （日语） Zbl 0641.68003号 RIMS Kokyuroku公司, 591. 京都：京都大学，数学科学研究所。四、 第287页（1986年）。 本卷的文章不会单独编入索引。内容：Shigeru Masuyama先生,茨城东芝和Hisashi矿山关于箱子包装问题（第1-11页）；村村贤治和武藤雅库，非循环交替图中路径覆盖问题的复杂性。II（英文）（第12-24页）[第一部分见同上556、240-249（1985年；Zbl 0638.68005号)];宫川正弘和伊万·斯托梅诺维奇《三值逻辑函数最大集的分类和基枚举》（英文）（第25-29页）；宫川正弘和伊万·斯托梅诺维奇《子集生成算法在基枚举、背包和最小覆盖问题中的应用》（英文）（第30-44页）；西泽特鲁（Teruyasu Nishizawa）关于谓词的区分。第三章（第45-52页）；Shigeharu Teshima公司,Hiromi Hiraishi先生和山岛秀三（Shuzo Yajima），基于事件二进制关系的硬件过程描述（第53-64页）；Masateru Harao公司和岩沼浩二，使用定理证明技术的电路自动化设计——从归纳方程到电路的转换（第65-73页）；富川哲也（Tetsuya Furukawa）和川崎雅彦，网络数据库上正常导航操作可解决的问题类别（第74-83页）；宫尾俊一,Kazuyuki Tominaga先生和托鲁·基库诺，关于从AQL到SQL的查询转换的优化（第84-94页）；川崎雅彦并行处理控制的可观测性和可控性（第95-104页）；塔达西Ae,山下正美和安祥芳分布式系统的调度问题（第105-110页）；钟兴国和川崎雅彦多分布式数据库系统的并行处理，包括元数据控制（第111-120页）；Sekimoto修治和Sachio Hirokawa先生《（lambda）-（beta）-演算（英语）中的一步递归项》（第121-137页）；托鲁·内伊和稻崎康树《论术语再写作系统的格理论语义》（第138-147页）；田田圭介《使用自嵌入对无语境语言进行语法推理》（第148-156页）；Tsukasa Shinmura村关于非单调逻辑的思考（第157-164页）；富山克彦和稻崎康夫《知识结构动态变化的逻辑模型》（第165-174页）；西田太信和小林嘉名《关于软件建模和对象模型转换的思考》（第175-182页）；山口Nagatsugu Yamanouchi关于“状态机网络功能的行为描述”的“满意”包含关系（第183-193页）；中村昭弘和Kunio Aizawa公司《关于三维数字图像的链式连接》（英文）（第194-204页）；中村昭弘,阿里斯蒂德·林登迈尔和Kunio Aizawa公司《带标记的地图0L系统》（英文）（第205-215页）；高桥雅子《最伟大的不动点和有理欧米伽树语言》（英文）（第216-220页）；池川正雄《修改的单向交替下推自动机和索引语言》（英文）（第221-227页）；岩间和夫《交叉与交替之间的低级权衡》（英文）（第228-236页）；松本裕治《平行句分析及其评价》（第237-246页）；小池浩史和吉希德·伊加拉西（Yoshihide Igarashi）关于加速属性语法的循环检查（第247-256页）；桥口小三郎非奇异语言的有限生成半群和泵条件（第257-267页）；Hiromi Hiraishi先生和山岛秀三（Shuzo Yajima），等价于非奇异集的时序逻辑表示（第268-277页）；木村真司和山岛秀三（Shuzo Yajima）关于时间逻辑中使用的浓度（第278-287页）。 理学硕士： 68-06 与计算机科学有关的会议记录、会议、收藏等 00时25分 杂项特定利益的会议记录 关键词：算法;诉讼;研讨会;京都/日本;箱子包装;路径覆盖;非循环交替图;极大集;三值逻辑函数;基枚举;背包;最小覆盖;谓词的区分;电路;理论证明;网络数据库;查询翻译;并行处理控制;行程安排;分布式系统;经常性术语;语义学;术语重写系统;无上下文语言;知识结构;动态变化;软件建模;数字图片;0L系统;最大不动点;有理欧米伽树语言;单向交替下推自动机;索引语言;权衡;评价;属性语法;有限生成半群;抽水条件;非奇异语言;时序逻辑表示;非奇异集 引文：Zbl 0638.68005号 PDF格式BibTeX公司 XML格式