共 50 条
- [31] LINEARIZED OSCILLATION OF THE 1ST-ORDER NONLINEAR DIFFERENTIAL-EQUATION CHINESE SCIENCE BULLETIN, 1994, 39 (23): : 1937 - 1942
- [34] DEFINABILITY BY DETERMINISTIC AND NONDETERMINISTIC PROGRAMS (WITH APPLICATIONS TO 1ST-ORDER DYNAMIC LOGIC) INFORMATION AND CONTROL, 1985, 65 (2-3): : 98 - 121
- [35] ALGEBRAIC CHARACTERIZATIONS OF SATISFIABILITY OF 1ST-ORDER LOGICAL FORMULAS AND HALTING OF PROGRAMS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1977, 23 (02): : 111 - 120
- [37] QUALITATIVE ANALYSIS OF 1ST-ORDER AND 2ND-ORDER NONLINEAR NETWORKS PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1971, 118 (01): : 19 - &
- [39] 1ST-ORDER SPIN-GLASS TRANSITIONS - AN EXACT SOLUTION EUROPHYSICS LETTERS, 1986, 1 (08): : 409 - 414