abstract data types; existential types; local state; representation independence; step-indexed logical relations;
机译:国家依存代表独立
机译:在状态依赖型动态博弈中定义个人独立程度的统计方法
机译:用于检测点图案和面部对称性的不同神经表示:一种状态依赖性TMS研究
机译:国家依存代表独立性
机译:图论概率表示的独立性和学习。
机译:在状态依赖型动态博弈中定义个人独立程度的统计量度
机译:依赖于国家的代表独立性