默认搜索操作

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

问别人

17.CAAP 1992：法国雷恩

>主页 >会议和研讨会 >CAAP公司

SPARQL查询

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/1992
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/1992
Jean-Claude拉乌尔:
1992年2月26日至28日，法国雷恩，CAAP’92，第17届代数和程序设计树学术讨论会，论文集。计算机科学课堂讲稿581,施普林格 1992，国际标准图书编号3-540-55251-0
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Babanera92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/BarbaneraB92
Franco Barbanera公司,斯特凡诺·贝拉迪:
经典逻辑的构造性评价解释及其在证据提取中的应用。 1-23
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/BergeronFS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/BergeronFS92
弗朗索瓦·贝杰隆,菲利普·弗拉乔莱,布鲁诺·萨维:
不断增加的树木品种。 24-48
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Bertot92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Bertot92
伊夫·贝托特:
Lambda-Calculus和术语重写系统中的原点函数。 49-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Cardone92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Cardone92
费利斯·卡多内:
递归类型解释的代数方法。 66-85
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Caron92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Caron92
Anne-Cécile肉桂:
术语重写系统可达性的可判定性和非联合性。 86-101
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/CoppoG92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/CoppoG92
马里奥·科波奥,保拉·贾尼尼:
简单交集类型的完整类型推断算法。 102-123
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Courcelle92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Courcelle92
布鲁诺·库塞尔:
一元二阶图形转导。 124-144
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Dam92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Dam92
Mads大坝:
CTL*和ECTL*作为模态微积分的片段。 145-164
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Heckmann92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Heckmann92
雷霍德·赫克曼:
支持递归和失败的幂域。 165-181
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/HsuPL92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/HsuPL92
徐文锦,卡尔·V·佩奇,刘仁秀:
斐波那契树的并行压缩和互连拓扑族上的前缀计算。 182-202
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/deLiguoroP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/deLiguoroP92
乌戈·德利古罗,阿道夫·皮佩诺:
必须在非确定非类型Lambda-Calculus中预先订购。 203-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Maggiolo-SchettiniW92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Maggiolo-SchettiniW92
安德里亚·马焦洛·谢蒂尼,约泽夫·温科夫斯基:
导出超图的编程语言。 221-231
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/MontanariR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/MontanariR92
乌戈·蒙塔纳里,弗朗西丝卡·罗西:
作为上下文相关重写系统的图形语法：部分排序语义学。 232-247
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/PengP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/PengP92
吴旭鹏,S.Purushothaman公司:
空栈下推欧米茄树自动机。 248-264
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cap/Potthoff92会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Potthoff92
安德烈亚斯·波托夫:
有限树上的模计数量词。 265-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/Seidl92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/Seidl92
赫尔穆特·塞德尔:
具有成本函数的有限树自动机。 279-299
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/BakelSB92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/BakelSB92
斯特芬·范·贝克尔,Sjaak Smetsers公司,西蒙·布洛克:
左线性应用术语重写系统中的部分类型赋值。 300-321
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/VergauwenL92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/VergauwenL92
巴特·维高文,约翰·莱维:
求解过渡系统上不动点方程的线性算法。 322-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/caap/WolterL92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/caap/WolterL92
乌韦·沃尔特,迈克尔·洛韦:
超越条件方程：参数代数规范的准初始语义。 342-361

管理网站设置

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