微信小程序
微信服务号
微信订阅号
Home
About JOS
Editorial Board
Instructions
Ethics Statement
Archive
Contact
Chinese
Home
>
Archive
Volume 25,Issue 11,2014 Table of Contents
Select All
Display Type:
|
Higher-Order π-Calculus with the Mismatch Operator
XU Xian
2014, 25(11):2433-2451.
DOI:
10.13328/j.cnki.jos.004523
Abstract (
3130
)
