搜索结果: 1-1 共查到“常微分方程 knots”相关记录1条 . 查询时间(0.078 秒)
We exhibit an encoding of knots into processes in the -calculus such that knots are ambient isotopic if and only their encodings are weakly bisimilar.