SIGMA-11-FORMULAE ON FINITE STRUCTURES

被引：343

作者：

AJTAI, M

机构：

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1983年 / 24卷 / 01期

关键词：

D O I：

10.1016/0168-0072(83)90038-6

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：1 / 48

页数：48

相关论文

共 3 条

[1] ON SETS OF RELATIONS DEFINABLE BY ADDITION [J].

LYNCH, JF .

JOURNAL OF SYMBOLIC LOGIC, 1982, 47 (03) :659-668

[2]

MATE A, NONDETERMINISTIC POL

[3]

PARIS JB, 1980 P ZUR C LOG COM