An abstract strong normalization theorem

被引：0
|
作者：
Berger, U [1 ]
机构：
[1] Univ Coll Swansea, Swansea, W Glam, Wales
来源：
COMPUTER SCIENCE LOGIC, PROCEEDINGS | 2005年 / 3634卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We prove a strong normalization theorem for abstract term rewriting systems based on domain-theoretic models. The theorem applies to extensions of Godel's system T by various forms of recursion related to bar recursion for which strong normalization was hitherto unknown.
引用
收藏
页码：27 / 35
页数：9
相关论文
共 50 条
12345