停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

信息学报，第14卷

>主页 >期刊销售 >信息学报

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1980年第14卷

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Russell 80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Russell80
布鲁斯·拉塞尔:
基于公理语义的编译过程的正确性。 1-20
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Lamport80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Lamport80
莱斯利·兰伯特:
并发程序的“Hoare逻辑”。 21-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Plateau80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Plateau80
布里吉特高原:
对Données Répartie基地Cohérence控制算法性能的评估。 39-62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Ellis80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Ellis80
卡拉·施拉特·埃利斯:
2-3棵树中的并发搜索和插入。 63-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/PhilippP80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/PhilippP80
雷纳·菲利普,Ernst-Jürgen Prauß:
在planaren Graphen安装分离器。 87-106
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Bromley 80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Bromley80
艾伦·G·布罗姆利:
动态存储分配的伙伴方法中的内存碎片。 107-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/VaishnaviKW80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/VaishnaviKW80
维杰伊·维什纳维,汉斯·佩特·克里格尔,德里克·伍德:
最佳多路搜索树。 119-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/NakajimaHN80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/NakajimaHN80
中岛贤治,本田美雄,中原浩雄:
层次化程序规范和验证——一种多分类逻辑方法。 135-155
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Soisalon-Soininen80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Soisalon-Soininen80
Eljas Soisalon-Soininen公司:
论消除单一产品的空间优化效应左后分析器。 157-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Wegner80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Wegner80
卢茨·迈克尔·韦格纳:
论两级语法的解析。 175-193
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/CasanovaB80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/CasanovaB80
马可·卡萨诺娃,菲利普·A·伯恩斯坦:
数据库系统通用调度器。 195-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Galil80a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Galil80a
兹维·郭历理:
安O（V5/3 E2/3）最大流问题的算法。 221-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/PaulPR80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/PaulPR80
沃尔夫冈·保罗,Ernst-Jürgen Prauß,Rüdiger Reischuk公司:
交替进行。 243-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/学报/评论-WalterS80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Commentz-WalterS80
Beate评论-Walter,尤根·萨特勒:
非单调布尔公式中的Size-depht权衡。 257-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Nijholt80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Nijholt80
安东·尼霍尔特:
上下文无关语法的范式覆盖综述。 271-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Kemp80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Kemp80
雷纳坎普:
关于固有模糊无上下文语言密度的注记。 295-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/PurdomB80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/PurdomB80
保罗·沃尔顿·普多姆（Paul Walton Purdom Jr.）。,辛西娅·布朗:
语义例程和左后（k）分析器。 299-315
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Moll80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Moll80
卡尔·鲁道夫·摩尔:
左上下文优先语法。 317-335
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Wand80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Wand80
米切尔·旺德:
作为定义语言的一阶标识。 337-357
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/西村80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Nishimura80
西村博和:
描述性完整流程逻辑。 359-369
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Kroger80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/Kroger80
弗雷德·克罗格:
循环的无限证明规则。 371-389
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/PaulR80
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/PaulR80
沃尔夫冈·保罗,Rüdiger Reischuk公司:
备选方案二。决定论与非决定论的图论方法。 391-403

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。