共 50 条
- [21] HIGHER-ORDER EFFECTS IN A UNIFIED MODEL OF STRONG, WEAK, AND ELECTROMAGNETIC-INTERACTIONS PHYSICAL REVIEW D, 1975, 11 (04): : 911 - 923
- [22] HIGHER-ORDER BOSON-LEPTON WEAK INTERACTIONS IN LADDER GRAPHS APPROXIMATION NUOVO CIMENTO, 1965, 37 (02): : 568 - +
- [23] Congruence Results of Weak Equivalence for a Graph Rewriting Model of Concurrent Programs with Higher-Order Communication ADVANCES IN WIRELESS, MOBILE NETWORKS AND APPLICATIONS, 2011, 154 : 171 - 180
- [26] Proving the Equivalence of Higher-Order Terms by Means of Supercompilation PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 193 - 205
- [27] HOMER: A Higher-Order Observational Equivalence Model checkER COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 654 - 660
- [28] ARGUMENTS IN FAVOR OF HIGHER-ORDER INTERACTIONS AMERICAN NATURALIST, 1983, 121 (06): : 887 - 891