共 50 条
- [41] WEAK-ISOSPIN BREAKING AND HIGHER-ORDER CORRECTIONS PHYSICAL REVIEW D, 1980, 22 (02): : 505 - 513
- [42] Weak Similarity in Higher-Order Mathematical Operational Semantics 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, 2023,
- [43] HIGHER-ORDER WEAK PROCESSES WITHOUT QUADRATIC DIVERGENCES PHYSICAL REVIEW D, 1973, 7 (10): : 3031 - 3042
- [44] BHABHA SCATTERING WITH HIGHER-ORDER WEAK LOOP CORRECTIONS ZEITSCHRIFT FUR PHYSIK C-PARTICLES AND FIELDS, 1991, 49 (03): : 485 - 490
- [46] HIGHER-ORDER CORRECTIONS TO LEPTONIC PROCESSES AND RENORMALIZATION OF WEINBERGS THEORY OF WEAK INTERACTIONS IN UNITARY GAUGE PHYSICAL REVIEW D, 1972, 6 (06): : 1701 - &
- [47] EQUIVALENCE OF HIGHER-ORDER LAGRANGIANS .1. FORMULATION AND REDUCTION JOURNAL DE MATHEMATIQUES PURES ET APPLIQUEES, 1991, 70 (03): : 369 - 391
- [49] SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):