专题首页
中图分类法(1)
社会科学总论(1)
在“
自然资源管理
”中,
命中:
1
条,耗时:小于0.01 秒
1.
A calculus and logic of bunched resources and processes
作者:
Gabrielle Anderson gabrielle.anderson@ucl.ac.uk" class="auth_mail" title="E-mail the corresponding author
;
David
Pym
;
d.
pym
@ucl.ac.uk" class="auth_mail" title="E-mail the corresponding author
关键词:
Modal logic
;
Process algebra
;
Bunched logic
;
Resource semantics
刊名:Theoretical Computer Science
年:2016
1
按检索点细分(1)
作者(1)
按年细分(1)
2016年(1)
按来源细分(1)
Elsevier(1)
按类型细分(1)
期刊(1)