AN EQUATIONAL AXIOMATIZATION OF SYSTOLIC SYSTEMS

被引：8

作者：

BARTHA, M

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1987年 / 55卷 / 2-3期

关键词：

D O I：

10.1016/0304-3975(87)90104-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：265 / 289

页数：25

相关论文

共 12 条

[1]

ARNOLD A, 1979, RAIRO-INF THEOR APPL, V13, P135

[2]

ARNOLD A, 1978, RAIRO-INF THEOR-TH C, V12, P235

[3]

BARTHA M, 1987, ACTA CYBERNET, V2, P203

[4] AXIOMATIZING SCHEMES AND THEIR BEHAVIORS [J].

BLOOM, SL ;

ESIK, Z .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 31 (03) :375-393

[5]

BLOOM SL, 1980, SIAM J COMPUT, V9, P275

[6]

BLOOM SL, 1982, CC ELGOT SELECTED PA

[7]

ELGOT CC, 1975, STUDIES LOGIC, V80, P175

[8]

ELGOT CC, 1982, CC ELGOT SELECTED PA, P361

[9]

ESIK Z, 1980, COMPUT LINGUISTICS C, V14, P183

[10]

Gecseg F, 1972, ALGEBRAIC THEORY AUT