Type-based analysis of logarithmic amortised complexity-MedSci.cn - 梅斯（MedSci）

Type-based analysis of logarithmic amortised complexity

Hofmann, M; Leutgeb, L; Obwaller, D; Moser, G; Zuleger, F

Zuleger, F (通讯作者)，Tech Univ Wien, Inst Log & Computat 192 4, Vienna, Austria.

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2022; 32 (6): 794

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