共 50 条
- [32] ON CONSISTENCY OF A FRAISSE-HYPOTHESIS ON DEFINABILITY IN A LANGUAGE OF SECOND-ORDER COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1973, 276 (18): : 1169 - 1172
- [33] A Linear Proof Language for Second-Order Intuitionistic Linear Logic LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2024, 2024, 14672 : 18 - 35
- [35] Order conditions for RKN methods solving general second-order oscillatory systems Numerical Algorithms, 2014, 66 : 147 - 176
- [38] Solvability of the Dirichlet problem for the general second-order elliptic equation Doklady Mathematics, 2011, 83 : 30 - 33