共 50 条
- [1] KUEKER CONJECTURE FOR SUPERSTABLE THEORIES [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 930 - 934
- [6] MARTIN CONJECTURE FOR THEORIES OR TREES [J]. JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1215 - 1215
- [7] Conjecture Synthesis for Inductive Theories [J]. Journal of Automated Reasoning, 2011, 47 : 251 - 289
- [8] Conjecture Synthesis for Inductive Theories [J]. JOURNAL OF AUTOMATED REASONING, 2011, 47 (03) : 251 - 289