×

重写技术和应用程序。第15届国际会议,RTA 2004,德国亚琛,2004年6月3日至5日。诉讼程序。 (英语) Zbl 1052.68009号

计算机科学课堂讲稿3091.柏林:施普林格出版社(ISBN 3-540-22153-0/pbk)。x、 313页。(2004).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查(参见Zbl 1029.00060号).
索引文章:
尼尔·D·琼斯(Neil D.Jones)。;尼娜·玻尔,非类型化(lambda)演算的终止分析,1-23[Zbl 1187.68127号]
弗雷德里克·布兰基,依赖型高阶重写系统的基于类型的终止准则,24-39[Zbl 1187.68273号]
富山,吉藤义彦,S表达式重写系统的终止:高阶项的词汇路径排序,40-54[Zbl 1187.68284号]
约尔迪·利维;Schmidt-Schauß,曼弗雷德;马图·维拉雷特,一元二阶统一为NP-完全,55-69[Zbl 1187.68278号]
伊芙琳·孔特让,认证AC匹配算法,70-84[Zbl 1187.68524号]
朱利安·卡姆(Julien Carme);约阿希姆·尼伦;马克·托马西,使用逐步树自动机查询未分类的树,105-118[Zbl 1187.68188号]
Toshinori Takai,使用术语重写系统和抽象解释的验证技术,119-133[Zbl 1187.68319号]
赫尔曼·盖弗斯;Rob Nederpelt公司,为惠誉式自然扣减改写,134-154[Zbl 1187.03045号]
伊恩·麦基,高效\(\lambda\)-使用交互网络进行评估,155-169[Zbl 1187.68280号]
塞巴斯蒂安·利梅特;格诺·萨尔泽,通过逻辑程序证明术语重写系统的属性,170-184[Zbl 1187.68279号]
雅各布·格鲁·西蒙森,《论无限项改写中合流的模块性》,185-199[Zbl 1187.68283号]
布隆,斯特凡,一种基于近似的无限lambda演算方法,221-232[Zbl 1187.03013号]
杰罗·凯特马,术语重写系统的Böhm-like树,233-248[Zbl 1187.68276号]
Nao Hirokawa;阿尔特·米德尔多普,重新访问依赖项对,249-268[Zbl 1187.68275号]
Aoto、Takahito;山田,Toshiyuki;富山,吉藤义彦,高阶重写的归纳定理,269-284[Zbl 1187.68272号]
一郎三桥;小山口、美雄;吉川浩大;山田,Toshiyuki,合流半构造函数TRS的可接合性和统一问题,285-300[Zbl 1187.68281号]

MSC公司:

68-06 与计算机科学有关的会议记录、会议、收藏等
2012年第68季度 语法和重写系统
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部