关注
Leran Cai
标题
引用次数
引用次数
年份
Random walks on randomly evolving graphs
L Cai, T Sauerwald, L Zanetti
Structural Information and Communication Complexity: 27th International …, 2020
142020
Formalising the completeness theorem of classical propositional logic in Agda
L Cai, A Kaposi, T Altenkirch
Unpublished, 5, 2015
52015
Randomized load balancing on networks with stochastic inputs
L Cai, T Sauerwald
arXiv preprint arXiv:1703.08702, 2017
32017
Formalising the Completeness Theorem of Classical Propositional Logic in Agda (Proof Pearl)
L Cai, A Kaposi, T Altenkirch
URL: https://akaposi. github. io/proplogic. pdf, 2015
22015
The Impact of Randomisation in Load Balancing and Random Walks
L Cai
2021
系统目前无法执行此操作，请稍后再试。
文章 1–5