×

找到48个文档（结果1-48）

最新的 引文 关联
伊尔科Visser

程序转换系统中重写策略的综述。 （英语） Zbl 1268.68105号

Gramlich，Bernhard（编辑）等人，WRS 2001。2001年5月26日在荷兰乌得勒支举行的第一次改写和编程中的削减战略国际研讨会。车间后程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记57/109-143（2001）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Visser}，电子。注释Theor。计算。科学。57/109-143（2001年；兹bl 1268.68105）
全文： 内政部
比约恩·利斯特

不可预测环境中的计算：语义、简化策略和程序转换。 （英语） Zbl 1508.68115号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 165-179 (1996).
MSC公司：2010年第68季度 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Lisper}，莱克特。注释计算。科学。1059、165--179（1996年；Zbl 1508.68115）
全文： 内政部 链接
雷吉斯·居里;钱振宇;施、惠

高效的二阶匹配。 （英语） Zbl 1503.68098号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 317-331 (1996).
MSC公司：2012年第68季度 03B35型 03B70号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{R.Curien}等人，Lect。注释计算。科学。11031317-331（1996年；兹bl 1503.68098）
全文： 内政部
罗伯托·维尔加

依赖类型的高阶叠加。 （英语） Zbl 1504.68093号

Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1103, 123-137 (1996).
MSC公司：2012年第68季度 03B40型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Virga}，莱克特。注释计算。科学。1103、123--137（1996年；Zbl 1504.68093）
全文： 内政部
斯特凡·卡尔斯

变量包含问题。 （英语） Zbl 1407.68090号

Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1074, 109-123 (1996).
MSC公司：68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kahrs}，莱克特。注释计算。科学。1074、109--123（1996年；Zbl 1407.68090）
全文： 内政部 链接
理查德·博尔顿。

应用于HDL语义的高阶重写的限制形式。 （英语） 兹比尔1503.68091

项洁（编辑），重写技术与应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。914, 309-323 (1995).
MSC公司：2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Boulton}，莱克特。注释计算。科学。914309--323（1995年；Zbl 1503.68091）
全文： 内政部
克里斯蒂安·普雷霍弗

收敛系统的高阶窄化。 （英语） 兹比尔1496.68116

Alagar，V.S.（编辑）等人，代数方法论和软件技术。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。936, 199-213 (1995).
MSC公司：68号30 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.普雷霍弗}，莱克特。注释计算。科学。936199-213（1995年；Zbl 1496.68116）
全文： 内政部
佩妮·安德森

表示程序优化的证明变换。 （英语） Zbl 1433.68091号

阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第814575-589页（1994年）。
MSC公司：68号30 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{P.Anderson}，莱克特。注释计算。科学。814575-589（1994年；Zbl 1433.68091）
全文： 内政部 链接
Wolfram博士。

重写和方程统一：高阶情况。扩展摘要。 （英语） Zbl 1503.68169号

罗纳德·V·书（编辑），重写技术与应用。第四届国际会议，RTA-91，意大利科摩，1991年4月10-12日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。488, 25-36 (1991).
MSC公司：2012年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Wolfram}，莱克特。注释计算。科学。488、25-36（1991年；Zbl 1503.68169）
全文： 内政部
Hagiya，Masami

从举例编程到举例证明。 （英语） Zbl 1493.68167号

Ito，Takayasu（编辑）等人，《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。526, 387-419 (1991).
MSC公司：68问题32 03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Hagiya}，莱克特。注释计算。科学。526387——419（1991年；Zbl 1493.68167）
全文： 内政部
Hagiya，Masami

利用高阶统一性进行示例编程和示例证明。 （英语） Zbl 1509.68307号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 588-602 (1990).
MSC公司：68伏15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Hagiya}，莱克特。注释计算。科学。449588-602（1990年；兹比尔1509.68307）
全文： 内政部
David A.Basin。

包含结合交换函数和交换绑定运算符的项的等式是同构完备的。 （英语） Zbl 1509.68099号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。449, 251-260 (1990).
MSC公司：65年第68季度 03B35型 05C60型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.A.盆地}，莱克托。注释计算。科学。449251-260（1990年；Zbl 1509.68099）
全文： 内政部 链接
弗朗索瓦斯·贝勒加德

分类产品理论的匹配过程。 （英语） Zbl 1493.68100号

Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。463, 270-282 (1990).
MSC公司：68号30 18A30型 第68季度第65季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Bellegarde}，莱克特。注释计算。科学。463270--282（1990年；Zbl 1493.68100）
全文： 内政部
柯纳尔·M·艾略特。

与相关函数类型的高阶统一。 （英语） Zbl 1503.68289号

Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355, 121-136 (1989).
MSC公司：68伏15 03B35型 03B40型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.M.Elliott}，莱克特。注释计算。科学。355121-136（1989年；Zbl 1503.68289）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件