Non-associative, Non-commutative Multi-modal Linear Logic-MedSci.cn

Non-associative, Non-commutative Multi-modal Linear Logic

Blaisdell, E; Kanovich, M; Kuznetsov, SL; Pimentel, E; Scedrov, A

Pimentel, E (通讯作者)，UCL, Dept Comp Sci, London, England.

AUTOMATED REASONING, IJCAR 2022, 2022; 13385 (): 449

科室
- - 订阅+
  - 更多科室
工具
服务