共 50 条
- [31] Quantum cosmology with symmetry analysis for quintom dark energy model [J]. PHYSICS OF THE DARK UNIVERSE, 2021, 32
- [33] THE FIRST-ORDER FORMALISM FOR YANG-MILLS THEORY [J]. CANADIAN JOURNAL OF PHYSICS, 1994, 72 (9-10) : 601 - 607
- [35] Hoare logic: From first-order to propositional formalism [J]. PROOF AND SYSTEM-RELIABILITY, 2002, 62 : 323 - 340
- [36] A first-order formalism for timelike and spacelike brane solutions [J]. JOURNAL OF HIGH ENERGY PHYSICS, 2008, (04):
- [38] Second-order Lagrangians admitting a first-order Hamiltonian formalism [J]. Annali di Matematica Pura ed Applicata (1923 -), 2018, 197 : 357 - 397
- [39] First-order stable model semantics and first-order loop formulas [J]. Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
- [40] First-Order Stable Model Semantics and First-Order Loop Formulas [J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180