METRIC INTERPRETATIONS OF INFINITE-TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE-PROGRAMS

被引:51
|
作者
ARNOLD, A
NIVAT, M
机构
[1] UNIV PARIS 7,F-75221 PARIS 05,FRANCE
[2] LAB INFORMAT THEOR & PROGRAMMAT,PARIS,FRANCE
关键词
D O I
10.1016/0304-3975(80)90045-6
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:181 / 205
页数:25
相关论文
共 6 条