SEPARATION THEOREM FOR FIRST-ORDER PAIR-CORRELATION EQUATIONS

被引：0
|
作者：
LANGHOFF, PW
机构：
[1] INDIANA UNIV,DEPT CHEM,BLOOMINGTON,IN 47401
[2] HARVARD COLL OBSERV,CAMBRIDGE,MA 02138
[3] SMITHSONIAN ASTROPHYS OBSERV,CAMBRIDGE,MA 02138
来源：
INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY | 1973年
关键词：
D O I：
暂无
中图分类号：
O64 [物理化学（理论化学）、化学物理学];
学科分类号：
070304 ; 081704 ;
摘要：
引用
收藏
页码：443 / 448
页数：6
相关论文
共 50 条
  • [41] PAIR-CORRELATION MCHF CALCULATIONS IN NEUTRAL CARBON
    BIEMONT, E
    BULLETIN DE LA CLASSE DES SCIENCES ACADEMIE ROYALE DE BELGIQUE, 1981, 67 (02): : 80 - 85
  • [42] Existence of solutions of first-order differential equations via a fixed point theorem for discontinuous operators
    Rubén Figueroa Sestelo
    Rodrigo López Pouso
    Fixed Point Theory and Applications, 2015
  • [43] Completeness for a First-Order Abstract Separation Logic
    Hou, Zhe
    Tiu, Alwen
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2016, 2016, 10017 : 444 - 463
  • [44] First-order separation over countable ordinals
    Colcombet, Thomas
    van Gool, Sam
    Morvan, Remi
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), 2022, 13242 : 264 - 284
  • [45] Diffusion into a pair of reactive spheres with first-order reaction
    Tsao, HK
    JOURNAL OF CHEMICAL PHYSICS, 2001, 114 (23): : 10247 - 10251
  • [46] From separation logic to first-order logic
    Calcagno, C
    Gardner, P
    Hague, M
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 395 - 409
  • [47] FIRST-ORDER PAIR FUNCTIONS FOR BERYLLIUM ISOELECTRONIC SEQUENCE
    WEBSTER, BC
    STEWART, RF
    THEORETICA CHIMICA ACTA, 1972, 27 (04): : 355 - &
  • [48] Comparing Unification Algorithms in First-Order Theorem Proving
    Hoder, Krystof
    Voronkov, Andrei
    KI 2009: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2009, 5803 : 435 - 443
  • [49] Predicate Elimination for Preprocessing in First-Order Theorem Proving
    Khasidashvili, Zurab
    Korovin, Konstantin
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, 2016, 9710 : 361 - 372
  • [50] A Reiterman theorem for pseudovarieties of finite first-order structures
    Pin, JE
    Weil, P
    ALGEBRA UNIVERSALIS, 1996, 35 (04) : 577 - 595
12345