Infinitary rewriting: From syntax to semantics

被引：0
|
作者：
Kennaway, R [1 ]
Severi, P
Sleep, R
de Vries, FJ
机构：
[1] Univ E Anglia, Sch Comp Sci, Norwich NR4 7TJ, Norfolk, England
[2] Univ Leicester, Dept Comp Sci, Leicester LE1 7RH, Leics, England
来源：
PROCESSES, TERMS AND CYCLES: STEPS ON THE ROAD TO INFINITY: ESSAYS DEDICATED TO JAN WILLEM KLOP ON THE OCCASION OF HIS 60TH BIRTHDAY | 2005年 / 3838卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：148 / 172
页数：25
相关论文
共 50 条
12345