共 50 条
- [31] Formal Analysis of Quantum Systems using Process Calculus* ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (59): : 104 - 110
- [36] SUBMONOIDS OF THE FORMAL POWER SERIES HOUSTON JOURNAL OF MATHEMATICS, 2017, 43 (03): : 703 - 711
- [38] On Salem formal power series EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2022, 15 (03): : 1321 - 1330