共 50 条
- [31] Distinguishing and relating higher-order and first-order processes by expressiveness Acta Informatica, 2012, 49 : 445 - 484
- [32] Can a higher-order and a first-order theorem prover cooperate? LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 415 - 431
- [33] Higher-order mutual coherence of optical and matter waves Physical Review A - Atomic, Molecular, and Optical Physics, 2000, 62 (02): : 023605 - 023601
- [34] Higher-order mutual coherence of optical and matter waves PHYSICAL REVIEW A, 2000, 62 (02): : 8
- [36] First-order coherence versus entanglement in a nanomechanical cavity PHYSICAL REVIEW A, 2012, 85 (02):
- [38] First-order coherence in an atomic condensate at finite temperature PHYSICAL REVIEW A, 2003, 67 (04):
- [39] A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage 2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, : 365 - 373
- [40] Coherent and thermal light: Tunable hybrid states with second-order coherence without first-order coherence PHYSICAL REVIEW A, 2011, 84 (06):