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