×

找到7904份文件(结果1-100)

一种非确定性的按需调用lambda演算。 (英语) Zbl 1428.68106号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。324-335 (1999).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

类型错误语义中的内涵多态性。 (英语) Zbl 1428.68097号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,第1号。纽约州纽约市:计算机协会(ACM)。301-312 (1999).
MSC公司:68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

折叠和展开程序语义。 (英语) Zbl 1428.68103号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。280-288 (1999).
MSC公司:68甲18 第68季度55
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

被低估的事情展开了。 (英语) Zbl 1428.68099号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。273-279 (1999).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

命令流–用于同步编程的一元组合器库。 (英语) Zbl 1428.68114号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。261-272(1999年)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Cayenne–一种具有依赖类型的语言。 (英语) Zbl 1428.68094号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。239-250 (1999).
MSC公司:68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有子类型的类型推理框架。 (英语) Zbl 1428.68112号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。228-238 (1999).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多态语言中的语用子类型。 (英语) Zbl 1428.68110号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。216-227 (1999).
MSC公司:68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算机程序的功能差异。 (英语) Zbl 1428.68104号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。195-203 (1999).
MSC公司:68甲18 65天25分
PDF格式BibTeX公司 XML格式引用
全文: 内政部

精确实数的懒惰计算。 (英语) Zbl 1428.68098号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。185-194 (1999).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

毫无骨气、没有标签的G-machine,自然。 (英语) Zbl 1428.68109号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。163-173(1999年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

键入的跨模块编译。 (英语) Zbl 1428.68115号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。141-152 (1999).
MSC公司:68甲18 68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将标准ML编译为Java字节码。 (英语) Zbl 1428.68096号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。129-140 (1999).
MSC公司:68甲18 68N20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

YALE:又一个基于交互网络的lambda评估器。 (英语) Zbl 1428.68107号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,第1号。纽约州纽约市:计算机协会(ACM)。117-128 (1999).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用可变函数编程。 (英语) Zbl 1428.68111号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。105-116 (1999).
MSC公司:68甲18 68问题65
PDF格式BibTeX公司 XML格式引用
全文: 内政部

核心福吉兹理论。 (英语) Zbl 1428.68116号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。75-85 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

效果和单子的结合。 (英语) Zbl 1428.68117号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。63-74(1999年)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单数输入的缓和效果。 (英语) Zbl 1428.68105号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。51-62 (1999).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于类型的共享分析,用于避免更新和优化。 (英语) Zbl 1428.68101号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。39-50 (1999).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶arity提升。 (英语) Zbl 1428.68102号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。27-38(1999年)。
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于类型定向开箱的运行时复杂性。 (英语) Zbl 1428.68108号

1998年9月26日至29日,美国马里兰州巴尔的摩ICFP'98第三届ACM SIGPLAN功能编程国际会议记录。ACM SIGPLAN通知34,编号1。纽约州纽约市:计算机协会(ACM)。1-12 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在单个链接列表中备份。 (英语) Zbl 1346.68072号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。780-786 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

测地最短路径的有效计算。 (英语) Zbl 1345.68263号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。770-779 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

大型平面地图和凸多面体的随机采样。 (英语) 兹比尔1345.05105

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。760-769 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

设计有界两两距离的网络。 (英语) Zbl 1345.90032号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。750-759 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对称函数插值和一种新型组合设计。 (英语) Zbl 1345.68268号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。736-740 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率拟多项式时间的硬度和层次定理。 (英语) 兹比尔1346.68095

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。726-735 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有常数的单词方程的可满足性在NEXPTIME中。 (英语) Zbl 1346.68113号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。721-725 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于计算格中短线性无关向量和短基的复杂性。 (英语) Zbl 1345.11090号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。711-720 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算样本复杂性和属性高效学习。 (英语) Zbl 1346.68116号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。701-710 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将树度量嵌入低维欧氏空间。 (英语) Zbl 1345.05065号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。694-700 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最小延迟问题的近似方案。 (英语) Zbl 1345.90110号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。688-693 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

外旋转:一种用于求半定规划松弛的四舍五入解的工具,应用于最大割和其他问题。 (英语) Zbl 1345.90064号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。679-687 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最小多路切割几何嵌入的舍入算法。 (英语) Zbl 1345.90095号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。668-678 (1999).
PDF格式BibTeX公司 XML格式引用

除非多项式时间层次崩溃,否则图的非同构具有次指数大小证明。 (英语) Zbl 1345.68174号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。659-667 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔函数的超图同构与结构等价。 (英语) Zbl 1345.68176号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。652-658 (1999).
MSC公司:65年第68季度 05C65号 05C60型 94立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

稳健的逻辑。 (英语) 兹比尔1346.68165

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。642-651 (1999).
MSC公司:68T05型 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性时间RAM的确定性与非确定性(扩展抽象)。 (英语) Zbl 1346.68093号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。632-641 (1999).
MSC公司:2010年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

实时调度下多台机器吞吐量的近似值。 (英语) 兹比尔1345.68026

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。622-631 (1999).
MSC公司:68平方米 68周25
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连接缓存。 (英语) Zbl 1345.68013号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。612-621 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

指针跟踪的通信复杂性:熵和采样的应用。 (英语) Zbl 1345.68133号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。602-611 (1999).
MSC公司:2005年第68季度 2017年第68季度 65年第68季度 94甲17
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图拉姆齐理论和多项式层次。 (英语) 兹比尔1345.68147

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。592-601 (1999).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分组路由中的非单调现象。 (英语) Zbl 1345.68029号

Vitter,Jeffrey Scott(编辑)等人,第31届ACM计算理论研讨会论文集,STOC 1999。1999年5月1日至4日,美国佐治亚州亚特兰大。纽约州纽约市:ACM,计算机协会(ISBN 1-58113-067-8)。583-591 (1999).
MSC公司:68平方米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

软件