停止战争！

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

对于科学家：

默认搜索操作

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

问别人

基础信息学，第22卷

>主页 >期刊销售 >计算机基础理论

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第22卷，第1/2期，1995年1月

特刊：计算机科学分类

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Asperti95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Asperti95
安德烈亚·阿斯佩蒂:
线性逻辑，协和函数和最优约简。 3-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/HofmannM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/HofmannM95
卡尔·海因茨·霍夫曼,迈克尔·米斯洛夫:
所有紧凑的Hausdorff-Lambda模型都是退化的。 23-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Lambek95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Lambek95
约阿希姆·兰贝克:
经典双线性逻辑的截消。 53-67
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Longo95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Longo95
朱塞佩·隆戈:
参数多态性和类型依赖多态性。 69-92
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/MisloveO95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/MisloveO95
迈克尔·米斯洛夫,弗兰克·J·奥利斯:
域类别之间的毗邻关系。 93-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Moggi95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Moggi95
尤金尼奥·莫吉:
评估逻辑的语义。 117-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Revesz95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Revesz95
György E.Révész:
明确产品的分类组合。 153-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Stark95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Stark95
尤金·W·斯塔克:
数据流网络代数。 167-185
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/WagnerKW95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/WagnerKW95
埃里克·瓦格纳,瓦法亚·哈利勒,罗伯特·沃尔特斯:
分布式类别中程序的定点语义。 187-202

第22卷第3期，1995年3月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Moshkov95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Moshkov95
米哈伊尔·莫什科夫:
关于计算布尔函数的决策树的深度。 203-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/DassowPV95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/DassowPV95
尤尔根·达索,Gheorghe Paun公司,索里娜·维科洛夫:
关于某些合作语法系统的生成能力。 217-226
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Dix95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Dix95
尤尔根·迪克斯:
正常逻辑程序语义的分类理论：I.强属性。 227-255
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Dix95a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Dix95a
尤尔根·迪克斯:
正常逻辑程序语义的分类理论：II。弱属性。 257-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Kolpakov 95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Kolpakov95
罗曼·科尔巴科夫:
关于布尔函数生成有理数的复杂性。 289-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/DeganoR95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/DeganoR95
皮耶保罗·德加诺,莱昂纳多·拉弗尼:
公平和优先。 299-306

第22卷第4期，1995年4月

特刊：计算几何

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/EppsteinMT95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/EppsteinMT95
大卫·艾普斯坦,加里·米勒,尚华腾:
几何分离器的确定线性时间算法及其应用。 309-329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/IckingKLM95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/IckingKLM95
克里斯蒂安·伊金,罗尔夫·克莱恩,恩戈·米恩·莱伊,马丽红:
三维空间中的凸距离函数是不同的。 331-352
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/KirkpatrickS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/KirkpatrickS95
大卫·G·柯克帕特里克,杰克·斯诺因克:
计算固定点的初步删减和搜索及其在几何计算中的应用。 353-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/Bern95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/Bern95
马歇尔·W·伯尔尼:
兼容的四面体化。 371-384
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/AlonRS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/AlonRS95
诺加·艾伦,斯里达尔·拉贾戈帕兰,Subhash苏里:
平面中的长非交叉配置。 385-394

服务

管理网站设置

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