Logic, complexity, and games

被引：0

作者：

Fagin, R ^{[1
]}

机构：

[1] IBM Corp, Almaden Res Ctr, San Jose, CA 95120 USA

来源：

15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 2000年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In this talk, I will discuss an approach to the P = NP question via the correspondence between logic and complexity The main focus will be on the possible use of Ehrenfeucht-Fraisse games.

引用

页码：3 / 3

页数：1