信息学报,第20卷
1983年第20卷
马丁·威辛 , 彼得·佩珀 , 赫尔穆斯·帕奇 , 沃尔特·多什 :
关于抽象数据类型的层次结构。 1-33 何继峰 :
通用谓词转换器和带有Go-To语句的编程语言的语义。 35-57 沃纳·达姆 , 伯恩哈德·约斯科 :
高级程序语言的合理且相对完整的Hoare-Logic。 59-101 阿肖克·K·钱德拉 , 劳伦斯·寇 , 乔治·马科斯基 , Shmuel Zaks公司 :
关于布尔集 n个 -投影Surjective。 103-111 上田久雄 :
关于两个任务的多队列调度的注记。 113-120 赫尔曼·阿卡达 :
构造近似最优二叉树算法的性能。 121-132 沃尔特·巴彻 :
生成规则语言的两个符号DOS系统。 133-142 海基·曼尼拉 , Kari-Jouko Räihä :
关于函数依赖集的最小覆盖与最佳覆盖的关系。 143-158 马里奥·科波奥 :
论多态的语义。 159-170 内森·古德曼 , 奥德·什穆埃利 :
树模式上简化的NP-完整问题。 171-178 珍妮·雅克·帕尼西奥 :
大家好,拉奇和费米特里一定会上tag-systèmes的课。 179-196 克里斯蒂安·朗塞 :
多连接网络的三阶段构建。 197-206 莫德凯·本·阿里 , 阿米尔·普努利 , 佐哈尔·曼纳 :
时间分支的时间逻辑。 207-226 汉斯·乌里希·西蒙 :
树和网中的模式匹配。 227-248 G.马奎·普切 :
有理树集与逻辑程序设计的代数语义。 249-260 约瑟夫·班尼斯特 , 基索尔·斯特里维迪 :
容错分布式系统中的任务分配。 261-281 沃纳·波尔曼 :
LR词缀语法分析。 283-300 阿兰·马丁 :
谓词变换语义中过程的一般证明规则。 301-313 阿里·米利 :
确定性程序设计的关系方法。 315-328 尼西姆·弗朗西兹 :
产品特性及其直接验证。 329-344 菲利普·弗拉乔莱 :
关于可扩展散列和尝试搜索的性能评估。 345-369 阿维埃兹里·弗伦克尔 , 莫西·莫尔 , Yehoshua Perl公司 :
通过前缀和后缀进行文本压缩实用吗? 371-389 H.C.M.克莱恩 , 格列泽戈兹·罗森伯格 :
规则模式语法的生成能力。 391-411