掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Term Rewriting and Applications
International Conference on Term Rewriting and Applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Twenty Years Later
机译:
二十年后
作者:
Jean-Pierre Jouannaud
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
2.
Call-by-Value Is Dual to Call-by-Name -Reloaded
机译:
qual-alight是qual-by-name --reloaded
作者:
Philip Wadler
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
3.
Automata and Logics for Unranked and Unordered Trees
机译:
Automata和Undrand和无序树木的逻辑
作者:
Iovka Boneva
;
Jean-Marc Talbot
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
4.
Unification in a Class of Permutative Theories
机译:
在一类偏移理论中统一
作者:
Thierry Boy de la Tour
;
Mnacho Echenim
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
5.
Tyrolean Termination Tool
机译:
Tyrolean终端工具
作者:
Nao Hirokawa
;
Aart Middeldorp
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
6.
Intruder Deduction for AC-Like Equational Theories with Homomorphisms
机译:
具有同态性的交流样公正理论的入侵者扣除
作者:
Pascal Lafourcade
;
Denis Lugiez
;
Ralf Treinen
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
7.
The Finite Variant Property: How to Get Rid of Some Algebraic Properties
机译:
有限的变异性质:如何摆脱一些代数特性
作者:
Hubert Comon-Lundh
;
Stephanie Delaune
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
8.
Union of Equational Theories: An Algebraic Approach
机译:
作证理论联盟:代数方法
作者:
Piotr Hoffman
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
9.
Abstract Modularity
机译:
抽象模块化
作者:
Michael Abbott
;
Neil Ghani
;
Christoph Lueth
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
10.
Faster Basic Syntactic Mutation with Sorts for Some Separable Equational Theories
机译:
较快的基本句法突变,具有一些可分离的等立理论
作者:
Christopher Lynch
;
Barbara Morawska
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
11.
Proof-Producing Congruence Closure
机译:
校正产生的同时关闭
作者:
Robert Nieuwenhuis
;
Albert Oliveras
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
12.
Universal Algebra for Termination of Higher-Order Rewriting
机译:
通用代数用于终止高阶重写
作者:
Makoto Hamana
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
13.
Quasi-interpretations and Small Space Bounds
机译:
准解释和小空间界限
作者:
Guillaume Bonfante
;
Jean-Yves Marion
;
Jean-Yves Moyen
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
14.
λμ-Calculus and Duality: Call-by-Name and Call-by-Value
机译:
λμ-微积分和二元性:呼叫名称和按呼叫值
作者:
Jerome Rocheteau
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
15.
Extending the Explicit Substitution Paradigm
机译:
扩展明确的替代范式
作者:
Delia Kesner
;
Stephane Lengrand
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
16.
Proving Positive Almost-Sure Termination
机译:
证明积极的几乎确定终止
作者:
Olivier Bournez
;
Florent Garnier
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
17.
A Sufficient Completeness Reasoning Tool for Partial Specifications
机译:
用于部分规格的足够完整性推理工具
作者:
Joe Hendrix
;
Manuel Clavel
;
Jose Meseguer
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
18.
Arithmetic as a Theory Modulo
机译:
算术作为理论模
作者:
Gilles Dowek
;
Benjamin Werner
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
19.
Infinitary Combinatory Reduction Systems
机译:
无细胞组合减少系统
作者:
Jeroen Ketema
;
Jakob Grue Simonsen
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
20.
Partial Inversion of Constructor Term Rewriting Systems
机译:
构造术语重写系统的部分反转
作者:
Naoki Nishida
;
Masahiko Sakai
;
Toshiki Sakabe
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
21.
Reduction in a Linear Lambda-Calculus with Applications to Operational Semantics
机译:
用应用于操作语义的应用减少了线性λ-微积分
作者:
Alex Simpson
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
22.
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code
机译:
一个关于基础剥离码的语义方法的教程示例
作者:
Amy P. Felty
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
23.
Natural Narrowing for General Term Rewriting Systems
机译:
一般术语重写系统的自然缩小
作者:
Santiago Escobar
;
Jose Meseguer
;
Prasanna Thati
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
24.
Leanest Quasi-orderings
机译:
最精简的准订货
作者:
Nachum Dershowitz
;
E. Castedo Ellerman
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
25.
Orderings for Innermost Termination
机译:
订购是最终端的
作者:
Mirtha-Lina Fernandez
;
Guillem Godoy
;
Albert Rubio
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
26.
Generalized Innermost Rewriting
机译:
广义最内心的重写
作者:
Jaco van de Pol
;
Hans Zantema
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
27.
Dependency Pairs for Simply Typed Term Rewriting
机译:
依赖性对简单地键入术语重写
作者:
Takahito Aoto
;
Toshiyuki Yamada
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
28.
The Algebra of Equality Proofs
机译:
平等证据的代数
作者:
Aaron Stump
;
Li-Yang Tan
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
29.
Open. Closed. Open.
机译:
打开。关闭。打开。
作者:
Nachum Dershowitz
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
30.
Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete
机译:
在没有常数的情况下,线性Lambda微积分中的高阶匹配是NP-Complete
作者:
Ryo Yoshinaka
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
31.
On Computing Reachability Sets of Process Rewrite Systems
机译:
关于计算可拆卸的过程重写系统
作者:
Ahmed Bouajjani
;
Tayssir Touili
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
32.
Localized Fairness: A Rewriting Semantics
机译:
本地化公平:重写语义
作者:
Jose Meseguer
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
33.
Confluent Term Rewriting Systems
机译:
汇合术语重写系统
作者:
Yoshihito Toyama
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
34.
Equivariant Unification
机译:
等价统一
作者:
James Cheney
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
35.
On Tree Automata that Certify Termination of Left-Linear Term Rewriting Systems
机译:
在树自动机上,证明左线性期限重写系统终止
作者:
Alfons Geser
;
Dieter Hofbauer
;
Johannes Waldmann
;
Hans Zantema
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
36.
Leanest Quasi-orderings Preliminary Version
机译:
最精简的准订货初稿
作者:
Nachum Dershowitz
;
E. Castedo Ellerman
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
37.
Termination of Single-Threaded One-Rule Semi-Thue Systems
机译:
终止单螺纹一规则半决系统
作者:
Wojciech Moczydlowski
;
Alfons Geser
会议名称:
《International Conference on Term Rewriting and Applications》
|
2005年
关键词:
string rewriting;
semi-Thue system;
uniform termination;
termination;
one-rule;
single-rule;
single-threaded;
well-behaved;
38.
Automated Termination Analysis for Haskell : From Term Rewriting to Programming Languages
机译:
Haskell自动终止分析:从重写编程语言的术语
作者:
Jürgen Giesl
;
Stephan Swiderski
;
Peter Schneider-Kamp
;
René Thiemann
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
39.
Modular Church-Rosser Modulo
机译:
模块化教堂 - rosser modulo
作者:
Jean-Pierre Jouannaud
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
40.
A Terminating and Confluent Linear Lambda Calculus
机译:
终止和汇合线性λ微积分
作者:
Yo Ohta
;
Masahito Hasegawa
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
41.
Structural Proof Theory as Rewriting
机译:
结构证明理论作为重写
作者:
J. Espírito Santo
;
M. J. Frade
;
L. Pinto
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
42.
Dealing with Non-orientable Equations in Rewriting Induction
机译:
处理重写归纳中的不可导向方程
作者:
Takahito Aoto
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
43.
Hierarchical Combination of Intruder Theories
机译:
入侵者理论的分层组合
作者:
Yannick Chevalier
;
Michael Rusinowitch
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
44.
Feasible Trace Reconstruction for Rewriting Approximations
机译:
用于重写近似的可行的微量重建
作者:
Yohan Boichut
;
Thomas Genet
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
45.
Formal Verification of Infinite State Systems Using Boolean Methods
机译:
使用布尔方法进行无限状态系统的正式验证
作者:
Randal E. Bryant
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
46.
Bounded Second-Order Unification Is NP-Complete
机译:
有界二阶统一是NP-Complete
作者:
Jordi Levy
;
Manfred Schmidt-SchauB
;
Mateu Villaret
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
47.
RAPT : A Program Transformation System Based on Term Rewriting
机译:
RAPT:基于术语重写的程序转换系统
作者:
Yuki Chiba
;
Takahito Aoto
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
48.
Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus
机译:
句法描述:一种用于求解线性λ - 微积分中的匹配方程的类型系统
作者:
Sylvain Salvati
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
49.
Computationally Equivalent Elimination of Conditions
机译:
计算上等同的消除条件
作者:
Traian Florin Serbanuta
;
Grigore Rosu
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
50.
The CL-Atse Protocol Analyser
机译:
CL-ATSE协议分析器
作者:
Mathieu Turuani
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
51.
Checking Conservativity of Overloaded Definitions in Higher-Order Logic
机译:
在高阶逻辑中检查超载定义的保守性
作者:
Steven Obua
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
52.
Slothrop : Knuth-Bendix Completion with a Modern Termination Checker
机译:
Slothrop:Knuth-bendix与现代终止检查器完成
作者:
Ian Wehrman
;
Aaron Stump
;
Edwin Westbrook
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
53.
TPA: Termination Proved Automatically
机译:
TPA:自动证明终止
作者:
Adam Koprowski
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
54.
Unions of Equational Monadic Theories
机译:
工会的公正的Monadic理论
作者:
Piotr Hoffman
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
55.
A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property
机译:
使用前缀属性的高阶重写有限家庭开发证明
作者:
H. J. Sander Bruggink
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
56.
Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems
机译:
半构造函数TRS,左线性浅层TRS和相关系统终止的可解密性
作者:
Yi Wang
;
Masahiko Sakai
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
57.
Termination of String Rewriting with Matrix Interpretations
机译:
用矩阵解释终止字符串重写
作者:
Dieter Hofbauer
;
Johannes Waldmann
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
58.
A Lambda-Calculus with Constructors
机译:
带有构造函数的λ - 微积分
作者:
Ariel Arbiser
;
Alexandre Miquel
;
Alejandro Ríos
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
59.
Generalizing Newman’s Lemma for Left-Linear Rewrite Systems
机译:
揭示纽曼的左线性重写系统的lemma
作者:
Bernhard Gramlich
;
Salvador Lucas
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
60.
Proving Positive Almost Sure Termination Under Strategies
机译:
在战略下证明积极的几乎肯定终止
作者:
Olivier Bournez
;
Florent Garnier
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
61.
Generalizing Newman's Lemma for Left-Linear Rewrite Systems
机译:
揭示纽曼的左线性重写系统的lemma
作者:
Bernhard Gramlich
;
Salvador Lucas
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
62.
On the Correctness of Bubbling
机译:
关于冒泡的正确性
作者:
Sergio Antoy
;
Daniel W. Brown
;
Su-Hui Chiang
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
63.
Propositional Tree Automata
机译:
命题树自动机
作者:
Joe Hendrix
;
Hitoshi Ohsaki
;
Mahesh Viswanathan
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
64.
Certified Higher-Order Recursive Path Ordering
机译:
认证的高阶递归路径排序
作者:
Adam Koprowski
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
65.
Higher-Order Orderings for Normal Rewriting
机译:
正常重写的高阶排序
作者:
Jean-Pierre Jouannaud
;
Albert Rubio
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
66.
Solving Partial Order Constraints for LPO Termination
机译:
解决LPO终止的部分订单约束
作者:
Michael Codish
;
Vitaly Lagoon
;
Peter J. Stuckey
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
67.
Rewriting Models of Boolean Programs
机译:
Boolean程序的重写模型
作者:
Ahmed Bouajjani
;
Javier Esparza
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
68.
Predictive Labeling
机译:
预测标签
作者:
Nao Hirokawa
;
Aart Middeldorp
会议名称:
《International Conference on Term Rewriting and Applications》
|
2006年
69.
The Maximum Length of Mu-Reduction in Lambda Mu-Calculus
机译:
Lambda Mu-Calmulus中的MU减小的最大长度
作者:
Makoto Tatsuta
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
70.
On Linear Combinations of λ-Terms
机译:
λ-术语的线性组合
作者:
Lionel Vaux
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
71.
Correctness of Copy in Calculi with Letrec
机译:
用LetRec在Calculi中的副本的正确性
作者:
Manfred Schmidt-Schauss
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
72.
Confluence of Pattern-Based Calculi
机译:
基于模式的Calculi的汇合
作者:
Horatiu Cirstea
;
Germain Faure
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
73.
proving Termination of Rewrite Systems Using Bounds
机译:
通过界限证明重写系统的终止
作者:
Martin Korp
;
Aart Middeldorp
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
74.
Proving Termination of Rewrite Systems Using Bounds
机译:
通过界限证明重写系统的终止
作者:
Martin Korp
;
Aart Middeldorp
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
75.
On the Completeness of Context-Sensitive Order-Sorted Specifications
机译:
关于上下文敏感令的规范的完整性
作者:
Joe Hendrix
;
Jose Meseguer
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
76.
Termination by Quasi-periodic Interpretations
机译:
准周期解释终止
作者:
Hans Zantema
;
Johannes Waldmann
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
77.
On a Logical Foundation for Explicit Substitutions
机译:
关于明确替换的逻辑基础
作者:
Frank Pfenning
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
78.
Delayed Substitutions
机译:
延迟替代
作者:
Jose Espirito Santo
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
79.
Intruders with Caps
机译:
带有帽子的入侵者
作者:
Anantharaman
;
Paliath Narendran
;
Michael Rusinowitch
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
80.
Intruders with Caps
机译:
带有帽子的入侵者
作者:
Siva Anantharaman
;
Paliath Narendran
;
Michael Rusinowitch
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
81.
A Simple Proof That Super-Consistency Implies Cut Elimination
机译:
超级一致性意味着削减消除的简单证据
作者:
Gilles Dowek
;
Olivier Hermant
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
82.
KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis
机译:
kool:一种在语言原型和分析中重写逻辑的应用
作者:
Mark Hills
;
Grigore Rosu
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
关键词:
Object-oriented languages;
Programming language semantics;
Term rewriting;
Rewriting logic;
Formal analysis;
83.
Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems
机译:
最内心可达性和最内心的可解放性可用于浅术语重写系统
作者:
Guillem Godoy
;
Eduard Huntingford
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
84.
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
机译:
表征明确替代Calculi的强烈标准化的简单证明
作者:
Kentaro Kikuchi
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
85.
Innermost-Reachability and Innermost-Joinability Are Decidable for Shallow Term Rewrite Systems
机译:
最内心可达性和最内心的可解放性可用于浅术语重写系统
作者:
Guillem Godoy
;
Eduard Huntingford
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
86.
A Characterization of Medial as Rewriting Rule
机译:
形式的形式作为重写规则
作者:
Lutz Strassburger
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
87.
Formal Verification of an Optimizing Compiler
机译:
正式验证优化编译器
作者:
Xavier Leroy
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
88.
The Maximum Length of Mu-Reduction in Lambda Mu-Calculus
机译:
Lambda Mu-Calmulus中的MU减小的最大长度
作者:
Makoto Tatsuta
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
89.
Correctness of Copy in Calculi with Letrec
机译:
用LetRec在Calculi中的副本的正确性
作者:
Manfred Schmidt-Schaub
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
90.
Sequence Unification Through Currying
机译:
通过咖喱序列统一
作者:
Temur Kutsia
;
Jordi Levy
;
Mateu Villaret
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
91.
A Simple Proof That Super-Consistency Implies Cut Elimination
机译:
超级一致性意味着削减消除的简单证据
作者:
Gilles Dowek
;
Olivier Hermant
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
92.
Adjunction for Garbage Collection with Application to Graph Rewriting
机译:
垃圾收集与应用程序进行图形重写的禁用
作者:
D. Duval
;
R. Echahed
;
F. Prost
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
93.
On the Completeness of Context-Sensitive Order-Sorted Specifications
机译:
关于上下文敏感令的规范的完整性
作者:
Joe Hendrix
;
José Meseguer
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
94.
Tom: Piggybacking Rewriting on Java
机译:
汤姆:捎带在Java上重写
作者:
Emilie Balland
;
Paul Brauner
;
Radu Kopetz
;
Pierre-Etienne Moreau
;
Antoine Reilles
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
95.
Bottom-Up Rewriting Is Inverse Recognizability Preserving
机译:
自下而上的重写是逆识别性保存
作者:
Irène Durand
;
Géraud Sénizergues
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
96.
Confluence of Pattern-Based Calculi
机译:
基于模式的Calculi的汇合
作者:
Horatiu Cirstea
;
Germain Faure
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
97.
Termination of Rewriting with Right-Flat Rules
机译:
用右翼规则终止重写
作者:
Guillem Godoy
;
Eduard Huntingford
;
Ashish Tiwari
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
98.
The Termination Competition
机译:
终止竞争
作者:
Claude Marché
;
Hans Zantema
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
99.
Tom: Piggybacking Rewriting on Java
机译:
汤姆:捎带在Java上重写
作者:
Emilie Balland
;
Paul Brauner
;
Radu Kopetz
;
Pierre-Etienne Moreau
;
Antoine Reilles
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
100.
A Characterization of Medial as Rewriting Rule
机译:
形式的形式作为重写规则
作者:
Lutz Strabburger
会议名称:
《International Conference on Term Rewriting and Applications》
|
2007年
意见反馈
回到顶部
回到首页