保存此搜索
文章 2011年9月 Ramified Corecurence和Logspace 过去二十年来,自由代数上的Ramified递归被用于提供主要复杂类的机器相关特征。 我们在这里考虑双重设置的分支,参考共导数据和。。。 文章 2006年7月 多项式时间计算的一种算法 我们定义了Heyting算法HA的一个限制LHA,其性质是所有提取的程序都是可行的。 这些限制包括线性和衍生物要求。 文章 1997年4月 基于动作的因果推理 在本文中,我们提出了一种基于干预主义因果关系概念的因果关系理论,即在一组行为中选择原因的偏好,代理人有能力执行或不执行(自由意志)。 最有趣的。。。