默认搜索操作

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

问别人

韦斯利·菲亚

>主页 >珀森斯

人员信息

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

1990 – 1999

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1994
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Phoa94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Pha94
韦斯利·菲亚:
从术语模型到域。 Inf.计算。 109(1/2):211-255(1994)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/IslamP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/IslamP94
阿米塔沃伊斯兰,韦斯利·菲亚:
关系数据库的分类模型I：结构形式化，模式集成。节气门执行器控制系统 1994:618-641
1993
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Phoa93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Phoa93
韦斯利·菲亚:
类型化lambda-calculi的非类型化翻译的充分性。低收入国家 1993:287-295
1992
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/Phoa92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/Pha92
韦斯利·菲亚:
从图形模型构建域。数学。结构。计算。科学。 2(三):277-299(1992)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/PhoaF92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/PhoaF92
韦斯利·福阿,迈克尔·福曼:
一个提议的纯ML范畴语义。 ICALP公司 1992:533-544
1991
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ctcs/Phoa91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ctcs/Phoa91
韦斯利·菲亚:
关于集合理论多态性的两个结果。范畴理论与计算机科学 1991:219-235
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacs/Phoa91
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacs/Phoa91
韦斯利·菲亚:
从术语模型到域。节气门执行器控制系统 1991:88-111
1990
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/Phoa90公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/Phoa90
韦斯利·菲亚:
有效域和内部结构。低收入国家 1990:366-377

合著者索引

请参阅常见问题解答

管理网站设置

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