共 50 条
- [41] A 1ST-ORDER LOGIC FOR PARTIAL RECURSIVE FUNCTIONS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 277 - 284
- [42] INCOMPLETENESS OF 1ST-ORDER TEMPORAL LOGIC WITH UNTIL [J]. THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 317 - 325
- [44] FUZZY-LOGIC FOR PHYTOSOCIOLOGY .1. SYNTAXA AS VAGUE CONCEPTS [J]. VEGETATIO, 1993, 106 (01): : 1 - 11
- [45] MESOPHASES OF ALKYLAMMONIUM SALTS .1. 1ST-ORDER TRANSITIONS [J]. MOLECULAR CRYSTALS AND LIQUID CRYSTALS, 1992, 214 : 63 - 79
- [46] 1ST-ORDER LOGIC AND STAR-FREE SETS [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1986, 32 (03) : 393 - 406
- [47] FIXED-POINT EXTENSIONS OF 1ST-ORDER LOGIC [J]. ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (03) : 265 - 280
- [48] THE BOOLEAN-ALGEBRA OF FORMULAS OF 1ST-ORDER LOGIC [J]. ANNALS OF MATHEMATICAL LOGIC, 1982, 23 (01): : 27 - 53