A COMPLETE LOGIC FOR REASONING ABOUT PROGRAMS VIA NONSTANDARD MODEL-THEORY .1.

被引：38

作者：

ANDREKA, H

NEMETI, I

SAIN, I

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(82)90004-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：193 / 212

页数：20

相关论文

共 33 条

[1]

ANDREKA H, 1979, B SECTION LOGIC, V8, P124

[2]

ANDREKA H, 1981, MATH F COMPUTER SCI

[3]

ANDREKA H, 1978, B SECTION LOGIC WROC, V7, P115

[4]

ANDREKA H, 1979, LECTURE NOTES COMPUT, V74, P208

[5]

ANDREKA H, 1978, 8 MATH I HUNG AC SCI

[6]

ANDREKA H, 1980, MORE COMPLETE LOGICS

[7]

ANDREKA H, 1979, FCT 79, P18

[8]

BERMAN F, 1979, 11TH P ACM S THEOR C, P160

[9]

BERMAN F, 1979, 790705 U WASH DEP CO

[10]

BIRO B, 1981, B SECTION LOGIC WROC, V10