掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Rewriting Techniques and Applications
International Conference on Rewriting Techniques and Applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Proving Innermost Normalisation Automatically
机译:
自动证明最内标
作者:
Thomas Arts
;
Jurgen Giesl
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
2.
A Criterion for Intractability of E-unification with Free Function Symbols and Its Relevance for Combination of Unification Algorithms
机译:
具有自由函数符号的电子统一的诡计的标准及其与统一算法组合的相关性
作者:
Klaus U. Schulz
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
3.
Rewrite Systems for Natural, Integral, and Rational Arithmetic
机译:
重写自然,积分和合理算法的系统
作者:
Evelyne Contejean
;
Claude March
;
Landy Rabehasaina
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
4.
A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders
机译:
包含串联平行部分订单的完全公理化
作者:
Denis Bechet
;
Philippe de Groote
;
Christian Retore
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
5.
Well-Behaved Search and the Robbins Problem
机译:
表现良好的搜索和罗宾斯问题
作者:
William McCune
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
6.
Cross-Sections for Finitely Presented Monoids with Decidable Word Problems
机译:
有限于有限的单词问题的横截面
作者:
Friedrich Otto
;
Masashi Katsura
;
Yuji Kobayashi
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
7.
New Undecidability Results for Finitely Presented Monoids
机译:
有限于有限呈现的长型无可偏差能力结果
作者:
Andrea Sattler-Klein
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
8.
The Invariant Package of MAS
机译:
不变的mas包
作者:
Manfred Gobel
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
9.
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language
机译:
基于ELAN规则的编程语言的统一算法的原型设计
作者:
Christophe Ringeissen
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
10.
A Total, Ground Path Ordering for Proving Termination of AC-Rewrite Systems
机译:
用于证明AC重写系统终止的总接地路径排序
作者:
Deepak Kapur
;
G. Sivakumar
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
11.
Opal: A System for Computing Noncommutative Grobner Bases
机译:
蛋白石:用于计算非容态Grobner基础的系统
作者:
Edward L. Green
;
Lenwood S. Heath
;
Benjamin J. Keller
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
12.
Solving Linear Diophantine Equations Using the Geometric Structure of the Solution Space
机译:
使用溶液空间的几何结构求解线性衍生线方程
作者:
Ana Paula Tom as
;
Miguel Filgueiras
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
13.
Shostak's Congruence Closure as Completion
机译:
Shostak的同时关闭完成
作者:
Deepak Kapur
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
14.
Undecidability of the First Order Theory of One-Step Right Ground Rewriting
机译:
一步右接地重写的第一阶理论的不可思议
作者:
Jerzy Marcinkowski
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
15.
On the Property of Preserving Regularity for String-Rewriting Systems
机译:
关于字符串重写系统保留规律性的属性
作者:
Friedrich Otto
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
16.
The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable
机译:
线性Noetherian系统中的一步重写的一步理论是不可判定的
作者:
Sergei Vorobyov
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
17.
Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving
机译:
归纳定理的部分操作数据类型的条件公正规范证明
作者:
Ulrich Kiihler
;
Claus-Peter Wirth
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
18.
Termination of Context-Sensitive Rewriting
机译:
终止上下文敏感重写
作者:
H. Zantema
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
19.
Innocuous Constructor-Sharing Combinations
机译:
无害的构造函数共享组合
作者:
Nachum Dershowitz
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
20.
Goal-Directed Completion Using SOUR Graphs
机译:
使用酸图的目标导向完成
作者:
Christopher Lynch
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
21.
Effective Reduction and Conversion Strategies for Combinators
机译:
组合者的有效减少和转换策略
作者:
Rick Statman
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
22.
On the Word Problem for Free Lattices
机译:
关于免费格子的词问题
作者:
Georg Struth
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
23.
TRAM: An Abstract Machine for Order-Sorted Conditional Term Rewriting Systems
机译:
电车:一个抽象机器,用于订购条件术语重写系统
作者:
Kazuhiro Ogata
;
Koichi Ohhara
;
Kokichi Futatsugi
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
24.
Finite Family Developments
机译:
有限家庭发展
作者:
Vincent van Oostrom
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
25.
A New Parallel Closed Condition for Church-Rosser of Left-Linear Term Rewriting Systems
机译:
左线性术语重写系统教堂rosser的新并联条件
作者:
Michio Oyamaguchi
;
Yoshikatsu Ohta
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
26.
Two-Dimensional Rewriting
机译:
二维重写
作者:
Yves Lafont
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
27.
D-Bases for Polynomial Ideals over Commutative Noetherian Rings
机译:
多项式非以太体戒指的多项式理想基地
作者:
Leo Bachmair
;
Ashish Tiwari
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
28.
Scott's Conjecture is True, Position Sensitive Weights
机译:
斯科特的猜想是真实的,位置敏感的重量
作者:
Samuel M. H. W. Perlo-Freeman
;
Peter Prohle
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
1997年
29.
On Normalisation of Infinitary Combinatory Reduction Systems
机译:
关于无限性组合减少系统的标准化
作者:
Jeroen Ketema
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
30.
Modular Termination of Basic Narrowing
机译:
基本缩小的模块化终止
作者:
Maria Alpuente
;
Santiago Escobar
;
Jose Iborra
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
31.
Arctic Termination ... Below Zero
机译:
北极终止......低于零
作者:
Adam Koprowski
;
Johannes Waldmann
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
32.
Functional-Logic Graph Parser Combinators
机译:
功能逻辑图解析器组合器
作者:
Steffen Mazanek
;
Mark Minas
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
33.
Finer Is Better: Abstraction Refinement for Rewriting Approximations
机译:
更好更好:用于重写近似的抽象细化
作者:
Y. Boichut
;
R. Courbis
;
P. C. Heam
;
O. Kouchnarenko
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
34.
Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks
机译:
图形重写正交矩阵:临界峰的研究
作者:
Yves Lafont
;
Pierre Rannou
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
关键词:
Critical pair;
Diagram rewriting;
Orthogonal matrix;
Zamolodchikov;
35.
Revisiting Cut-Elimination: One Difficult Proof Is Really a Proof
机译:
重新审视削减消除:一个难以证明真的是一个证据
作者:
Christian Urban
;
Bozhi Zhu
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
36.
Reduction Under Substitution
机译:
替代减少
作者:
Jorg Endrullis
;
Roel de Vrijer
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
37.
Combining Equational Tree Automata over AC and ACI Theories
机译:
将等式的树木自动机相结合,通过AC和ACI理论
作者:
Joe Hendrix
;
Hitoshi Ohsaki
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
38.
Normalization of Infinite Terms
机译:
无限术语的正常化
作者:
Hans Zantema
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
39.
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations
机译:
具有递归路径关系的S表达式重写系统的终止证明
作者:
Yoshihito Toyama
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
40.
Root-Labeling
机译:
根标签
作者:
Christian Sternagel
;
Aart Middeldorp
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
41.
Confluence by Decreasing Diagrams Converted
机译:
通过降低图表转换的汇合
作者:
Vincent van Oostrom
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
42.
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures
机译:
依赖性对重写内置数字和语义数据结构
作者:
Stephan Falke
;
Deepak Kapur
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
43.
Tree Automata for Non-linear Arithmetic
机译:
非线性算术的树自动机
作者:
Naoki Kobayashi
;
Hitoshi Ohsaki
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
44.
Proving Quadratic Derivational Complexities Using Context Dependent Interpretations
机译:
使用上下文依赖解释证明二次衍生复杂性
作者:
Georg Moser
;
Andreas Schnabl
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
45.
Effectively Checking the Finite Variant Property
机译:
有效地检查有限变体属性
作者:
Santiago Escobar
;
Jose Meseguer
;
Ralf Sasse
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
46.
Deciding Innermost Loops
机译:
决定最内圈
作者:
Rene Thiemann
;
Jurgen Giesl
;
Peter Schneider-Kamp
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
47.
Innermost Reachability and Context SensitiveReachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems
机译:
最内心的可达性和上下文敏感性属性对于线性右浅期重写系统可判定可判定
作者:
Yoshiharu Kojima
;
Masahiko Sakai
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
48.
Maximal Termination
机译:
最大终止
作者:
Carsten Fuhs
;
Jurgen Giesl
;
Aart Middeldorp
;
Peter Schneider-Kamp
;
Rene Thiemann
;
Harald Zankl
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
49.
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems
机译:
最内心的可达性和背景敏感的可判定性是线性右浅期重写系统可判定
作者:
Yoshiharu Kojima
;
Masahiko Sakai
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
50.
Linear-Algebraic λ-Calculus: Higher-Order, Encodings, and Confluence
机译:
线性代数λ-微分:高阶,编码和汇合
作者:
Pablo Arrighi
;
Gilles Dowek
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
51.
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting
机译:
将纯LAMBDA微积分编码成分层图形重写
作者:
Kazunori Ueda
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
52.
Usable Rules for Context-Sensitive Rewrite Systems
机译:
上下文敏感性重写系统的可用规则
作者:
Raul Gutierrez
;
Salvador Lucas
;
Xavier Urbain
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
关键词:
Dependency pairs;
Term rewriting;
Termination;
53.
Closure of Hedge-Automata Languages by Hedge Rewriting
机译:
通过对冲重写关闭对冲自动机语言
作者:
Florent Jacquemard
;
Michael Rusinowitch
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
54.
A Needed Rewriting Strategy for Data-Structures with Pointers
机译:
针对指针的数据结构重写策略
作者:
Rachid Echahed
;
Nicolas Peltier
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
55.
A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case
机译:
使用LetRec,构造函数和案例的非确定性呼叫λ-微积分中的有限仿真方法
作者:
Manfred Schmidt-Schauss
;
Elena Machkasova
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
56.
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities
机译:
将重写重写与Neetherian encuction以不可导向的平等
作者:
Sorin Stratulat
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
57.
Term-Graph Rewriting Via Explicit Paths
机译:
术语图通过显式路径重写
作者:
Emilie Balland
;
Pierre-Etienne Moreau
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
58.
Logics and Automata for Totally Ordered Trees
机译:
完全有序树木的逻辑和自动机
作者:
Marco Kuhlmann
;
Joachim Niehren
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
59.
Nominal Unification from a Higher-Order Perspective
机译:
从高阶视角下的标称统一
作者:
Jordi Levy
;
Mateu Villaret
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2008年
60.
Local Termination
机译:
本地终止
作者:
Jorg Endrullis
;
Roel de Vrijer
;
Johannes Waldmann
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
61.
Proving Termination of Integer Term Rewriting
机译:
证明整数重写终止
作者:
Carsten Fuhs
;
Jurgen Giesl
;
Martin Plucker
;
Peter Schneider-Kamp
;
Stephan Falke
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
62.
Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
机译:
协议安全性和代数属性:界限的判决结果
作者:
Sergiu Bursuc
;
Hubert Comon-Lundh
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
63.
The Derivational Complexity Induced by the Dependency Pair Method
机译:
依赖性对方法引起的衍生复杂度
作者:
Georg Moser
;
Andreas Schnabl
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
64.
Well-Definedness of Streams by Termination
机译:
通过终止定义流的溪流
作者:
Hans Zantema
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
65.
The (Π_2)~0-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)
机译:
(π_2)〜0-完整的重写系统的大多数属性(和生产率)
作者:
Jakob Grue Simonsen
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
66.
A Heterogeneous Pushout Approach to Term-Graph Transformation
机译:
术语图变换的异构推路方法
作者:
Dominique Duval
;
Rachid Echahed
;
Frederic Prost
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
67.
Loops under Strategies
机译:
循环在策略下
作者:
Rene Thiemann
;
Christian Sternagel
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
68.
Tyrolean Termination Tool 2
机译:
Tyrolean终端工具2
作者:
Martin Korp
;
Christian Sternagel
;
Harald Zankl
;
Aart Middeldorp
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
关键词:
Term rewriting;
Termination;
Automation;
69.
Modularity of Convergence in Infinitary Rewriting
机译:
无限重写的收敛模块性
作者:
Stefan Kahrs
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
70.
YAPA: A Generic Tool for Computing Intruder Knowledge
机译:
Yapa:用于计算入侵者知识的通用工具
作者:
Mathieu Baudet
;
Veronique Cortier
;
Stephanie Delaune
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
71.
Unique Normalization for Shallow TRS
机译:
浅TRS的独特归一化
作者:
Guillem Godoy
;
Florent Jacquemard
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
72.
A Fully Abstract Semantics for Constructor Systems
机译:
构造系统的全抽象语义
作者:
Francisco Javier Lopez-Fraguas
;
Juan Rodriguez-Hortala
;
Jaime Sanchez-Hernandez
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
73.
The Existential Fragment of the One-Step Parallel Rewriting Theory
机译:
一步并行重写理论的存在片段
作者:
Aleksy Schubert
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
74.
From Outermost to Context-Sensitive Rewriting
机译:
从最外面到上下文敏感的重写
作者:
Jorg Endrullis
;
Dimitri Hendriks
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
75.
Automatic Termination
机译:
自动终止
作者:
Johannes Waldmann
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
76.
Dual Calculus with Inductive and Coinductive Types
机译:
具有电感和配合类型的双微分
作者:
Daisuke Kimura
;
Makoto Tatsuta
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
77.
Unification and Narrowing in Maude 2.4
机译:
Maude 2.4的统一和缩小
作者:
Manuel Clavel
;
Francisco Duran
;
Steven Eker
;
Santiago Escobar
;
Patrick Lincoln
;
Narciso Marti-Oliet
;
Jose Meseguer
;
Carolyn Talcott
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
78.
Unification with Singleton Tree Grammars
机译:
与单身树语法统一
作者:
Adria Gascon
;
Guillem Godoy
;
Manfred Schmidt-Schauss
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
79.
Proving Confluence of Term Rewriting Systems Automatically
机译:
从自动证明重写系统的汇合
作者:
Takahito Aoto
;
Junichi Yoshida
;
Yoshihito Toyama
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
80.
A Proof Theoretic Analysis of Intruder Theories
机译:
入侵者理论的证明理论分析
作者:
Alwen Tiu
;
Rajeev Gore
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
关键词:
AC convergent theories;
Sequent calculus;
Intruder deduction;
Security protocols;
81.
Flat and One-Variable Clauses for Single Blind Copying Protocols: The XOR Case
机译:
单盲复印协议的平面和一个变量条款:XOR案例
作者:
Helmut Seidl
;
Kumar Neeraj Verma
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
82.
Dependency Pairs and Polynomial Path Orders
机译:
依赖性对和多项式路径订单
作者:
Martin Avanzini
;
Georg Moser
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
83.
Unification in the Description Logic εL
机译:
描述逻辑εl中的统一
作者:
Franz Baader
;
Barbara Morawska
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
84.
An Explicit Framework for Interaction Nets
机译:
互动网的明确框架
作者:
Marc de Falco
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
85.
VMTL - A Modular Termination Laboratory
机译:
VMTL - 模块化终止实验室
作者:
Felix Schernhammer
;
Bernhard Gramlich
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2009年
86.
Tyrolean Complexity Tool: Features and Usage
机译:
Tyrolean复杂性工具:功能和用法
作者:
Martin Avanzini
;
Georg Moser
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
program analysis;
term rewriting;
complexity analysis;
automation;
87.
Compression of Rewriting Systems for Termination Analysis
机译:
压缩重写系统终止分析
作者:
Alexander Bau
;
Markus Lohrey
;
Eric N?th
;
Johannes Waldmann
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
termination of rewriting;
matrix interpretations;
constraint solving;
tree compression;
88.
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
机译:
自动可解辨率:计数运营商理论的示意性微积分
作者:
Elena Tushkanova
;
Christophe Ringeissen
;
Alain Giorgetti
;
Olga Kouchnarenko
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
decision procedures;
superposition;
schematic saturation;
89.
A Homotopical Completion Procedure with Applications to Coherence of Monoids
机译:
一种同型完成程序,其应用于长胆汁的相干性
作者:
Yves Guiraud
;
Philippe Malbos
;
Samuel Mimram
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
higher-dimensional rewriting;
presentation of monoid;
Knuth-Bendix completion;
Tietze transformation;
low-dimensional homotopy for monoids;
coherence;
90.
A Combination Framework for Complexity
机译:
复杂性的组合框架
作者:
Martin Avanzini
;
Georg Moser
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
program analysis;
term rewriting;
complexity analysis;
automation;
91.
Proof Orders for Decreasing Diagrams
机译:
证明订单减少图表
作者:
Bertram Felgenhauer
;
Vincent van Oostrom
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
involutive monoid;
confluence modulo;
decreasing diagram;
proof order;
92.
Algorithms for Extended Alpha-Equivalence and Complexity
机译:
扩展α等当量和复杂性的算法
作者:
Manfred Schmidt-Schau?
;
Conrad Rau
;
David Sabel
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
alpha-equivalence;
higher-order calculi;
deduction;
pi-calculus;
93.
Normalized Completion Revisited
机译:
重新定义完成预订
作者:
Sarah Winkler
;
Aart Middeldorp
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
term rewriting;
completion;
94.
Confluence by Decreasing Diagrams - Formalized
机译:
通过减少图 - 正式化汇合
作者:
Harald Zankl
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
term rewriting;
confluence;
decreasing diagrams;
formalization;
95.
Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
机译:
Husserl和Hilbert完成完整性和Husserl的重写基于多包的理论(邀请的谈话)
作者:
Mitsuhiro Okada
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
History of term rewrite theory;
Husserl;
Hilbert;
proof theory;
Knuth-Bendix completion;
96.
Beyond Peano Arithmetic - Automatically Proving Termination of the Goodstein Sequence
机译:
超越PEANO算术 - 自动证明终止Goodstein序列
作者:
Sarah Winkler
;
Harald Zankl
;
Aart Middeldorp
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
term rewriting;
termination;
automation;
ordinals;
97.
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
机译:
缩小无限状态系统的摘要逻辑模型检查
作者:
Kyungmin Bae
;
Santiago Escobar
;
José Meseguer
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
model checking;
infinite states;
rewrite theories;
narrowing;
98.
Expressibility in the Lambda Calculus with μ
机译:
Lambda微积分的表现性μ
作者:
Clemens Grabmayer
;
Jan Rochel
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
lambda-calculus;
lambda-calculus with letrec;
unfolding semantics;
regularity for infinite lambda-terms;
binding-capturing chain;
99.
Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification
机译:
通过锚定半统一统一模数无现的递归方案
作者:
Gert Smolka
;
Tobias Tebbi
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
recursion schemes;
semi-unification;
infinitary rewriting;
100.
Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings
机译:
延伸Abramsky的懒惰兰姆达微积分:(非) - 嵌入的可操作性
作者:
Manfred Schmidt-Schau?
;
Elena Machkasova
;
David Sabel
会议名称:
《International Conference on Rewriting Techniques and Applications》
|
2013年
关键词:
lazy lambda calculus;
contextual semantics;
conservativity;
意见反馈
回到顶部
回到首页