共 50 条
- [41] On Bisimulation Theory in Linear Higher-Order π-Calculus TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 244 - 274
- [42] An asymptotic higher-order theory for rectangular beams PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2018, 474 (2214):
- [43] A Convenient Category for Higher-Order Probability Theory 2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
- [44] Efficient reformulation of the higher-order theory for FGMs FUNCTIONALLY GRADED MATERIALS VII, 2003, 423-4 : 769 - 776
- [46] Theoretical framework for higher-order quantum theory PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2019, 475 (2225):
- [48] HIGHER-ORDER KINETIC THEORY FOR LORENTZ GAS BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1970, 15 (11): : 1426 - &