共 50 条
- [41] A good class of tree automata. application to inductive theorem proving AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 409 - 420
- [42] THEOREM ON CROSSING RELATIONS AND ITS APPLICATION TO KN AND KN SCATTERING PROCESSES PHYSICAL REVIEW, 1962, 125 (06): : 2201 - &
- [43] PROGRESS IN THE THEOREM OF CORRESPONDING RELATIONS IN ISOBARIC PHASE-DIAGRAMS AND ITS APPLICATION HIGH TEMPERATURE SCIENCE, 1986, 22 (01): : 1 - 14
- [45] RENORMALIZATION-GROUP RECURSION-RELATIONS USING THE APPLICATION OF GENERALIZED CALLEN IDENTITIES TO THE ASHKIN-TELLER MODEL JOURNAL OF PHYSICS C-SOLID STATE PHYSICS, 1988, 21 (34): : 5747 - 5756
- [50] THE HELLMANN-FEYNMAN THEOREM FOR APPROXIMATE WAVE-FUNCTIONS AND ITS APPLICATION TO NON-ADIABATIC COUPLING MATRIX-ELEMENTS WITH THE AID OF A COUPLED HARTREE-FOCK METHOD JOURNAL OF CHEMICAL PHYSICS, 1980, 72 (10): : 5532 - 5539