共 50 条
- [31] On Finite Domains in First-Order Linear Temporal Logic AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2016, 2016, 9938 : 211 - 226
- [32] Describing finite groups by short first-order sentences Israel Journal of Mathematics, 2017, 221 : 85 - 115
- [35] FIRST-ORDER SOLUTIONS OF ATOMIC HARTREE-FOCK EQUATIONS PROCEEDINGS OF THE PHYSICAL SOCIETY OF LONDON, 1963, 82 (529): : 778 - &
- [36] Coherent and thermal light: Tunable hybrid states with second-order coherence without first-order coherence PHYSICAL REVIEW A, 2011, 84 (06):
- [38] First-order spatial coherence of indirect excitons in coupled quantum wells PHYSICA STATUS SOLIDI C: CURRENT TOPICS IN SOLID STATE PHYSICS, VOL 6, NO 2, 2009, 6 (02): : 524 - 527
- [39] A First-Order Differentiator with First-Order Sliding Mode Filtering IFAC PAPERSONLINE, 2019, 52 (16): : 771 - 776