CHARACTERIZATIONS OF THE DECIDABILITY OF SOME PROBLEMS FOR REGULAR TRACE LANGUAGES

被引:29
|
作者
AALBERSBERG, IJJ [1 ]
HOOGEBOOM, HJ [1 ]
机构
[1] STATE UNIV LEIDEN,DEPT COMP SCI,2312 AV LEIDEN,NETHERLANDS
来源
MATHEMATICAL SYSTEMS THEORY | 1989年 / 22卷 / 01期
关键词
D O I
10.1007/BF02088289
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:1 / 19
页数:19
相关论文
共 50 条