登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Symbolic Bisimulations and Proof Systems for the π-Calculus
出版社：中国科学院
出版年：1994
作者：H.Lin
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Complete Proof Systems for Observation Congruences in Finite-Control π-Calculus
  • 作者：Lin
  • 出版社：中国科学院
  • 出版年：1997
...

Computing Bisimulations for Finite-Control π-Calculus
  • 作者：Lin
  • 出版社：中国科学院
  • 出版年：1999
...

Symbolic modeling of multibody systems
  • 作者：Samin,Jean-Claude.
  • ISBN：1402016298
  • 出版社：Dordrecht ; Boston : Kluwer Academic Publishers, c2003.
  • 出版年：2003
...

Language and symbolic systems
  • 作者：Chao,Yuen Ren,
  • ISBN：0521046165
  • 出版社：Cambridge : Cambridge U.P., 1968.
  • 出版年：1968
...

Proof theory and intuitionistic systems.
  • 作者：Scarpellini,Bruno.
  • ISBN：354005541X
  • 出版社：Berlin, New York, Springer-Verlag, 1971.
  • 出版年：1971
...

Proof
  • 作者：Francis,Dick
  • ISBN：0449207544
  • 出版社：New York : Ballantine Books, 1986, c1985
  • 出版年：1986