SEMIGROUPS PRESBURGER FORMULAS AND LANGUAGES

被引:247
作者
GINSBURG, S
SPANIER, EH
机构
关键词
D O I
10.2140/pjm.1966.16.285
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:285 / &
相关论文
共 5 条
[1]   BOUNDED ALGOL-LIKE LANGUAGES [J].
GINSBURG, S ;
SPANIER, EH .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1964, 113 (02) :333-+
[2]  
HILBERT D, 1944, GRUNDLAGEN MATHEMATI
[3]  
PARIKH RJ, 1961, 60 MIT RES LAB EL QU, P199
[4]  
Robinson A., 1960, T AM MATH SOC, V96, DOI DOI 10.2307/1993461
[5]  
[No title captured]