Microsoft Research, Cambridge, UK;
The Hebrew University of Jerusalem, Israel;
University of Liverpool, UK;
The Hebrew University of Jerusalem, Israel;
机译:证明系统和转换游戏
机译:证明系统和转换游戏
机译:拟奇摄动系统线性二次Nash博弈递归解的收敛性证明
机译:证明系统和转型游戏
机译:循环并行转换的证明理论。
机译:轻量级游戏证明(LPoG):工作量证明(PoW)的可扩展肾脏轻量级共识算法
机译:证明系统和转换游戏
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息