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

被引：38
作者：
ANDREKA, H
NEMETI, I
SAIN, I
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1982年 / 17卷 / 02期
关键词：
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
1234