AN UNSOLVABLE PROBLEM WITH PRODUCTS OF MATRICES

被引:6
作者
KROM, M
机构
来源
MATHEMATICAL SYSTEMS THEORY | 1981年 / 14卷 / 04期
关键词
D O I
10.1007/BF01752404
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:335 / 337
页数:3
相关论文
共 4 条
[1]  
Barwise J., 1977, HDB MATH LOGIC
[2]  
Hopcroft J.E., 1979, INTRO AUTOMATA THEOR
[3]  
PATERSON MS, 1970, STUD APPL MATH, V49, P105
[4]   A VARIANT OF A RECURSIVELY UNSOLVABLE PROBLEM [J].
POST, EL .
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (04) :264-268