感知逻辑中Craig插值复杂性的下限。

丹尼尔·蒙迪奇

Archive für mathematische Logik und Grundlagenforschung公司(1983年)

  • 第23卷,第27-36页
  • 国际标准编号:0003-9268

如何引用

顶部

丹尼尔·蒙迪奇。“感知逻辑中克雷格插值复杂性的下限……”Archive für mathematische Logik und Grundlagenforschung公司23 (1983): 27-36. <http://eudml.org/doc/138004>。

@第{Mundici1983条,
author={Mundici,Daniele},
journal={Archivfür mathematische Logik und Grundlagenforschung},
关键词={布尔函数的复杂性;复杂性的下限;克雷格插值;计算理论},
页码={27-36},
title={感知逻辑中Craig插值复杂性的下限。},
url={http://eudml.org/doc/138004},
体积={23},
年份={1983年},
}

TY-JOUR公司
AU-蒙迪奇,丹尼尔
TI-感知逻辑中Craig插值复杂性的下限。
JO-Archive für mathematische Logik und Grundlagenforschung公司
PY-1983年
第23页
SP-27
EP-36
KW——布尔函数的复杂度;复杂性下限;克雷格插值;计算理论
UR-(欧元)http://eudml.org/doc/138004
急诊室-

要在页面上嵌入这些注释,请在希望注释出现的页面上包含以下JavaScript代码。

只有小部件的控件将以您选择的语言显示。注释将以其创作语言显示。

告诉小部件每页要显示多少注释。您可以使用下一个和上一个控件循环查看其他注释。

    
                

注意:最佳实践建议将JavaScript代码放在关闭之前</body>标签。