A Logical Approach to the Problem "P=NP?"

Authors:
Vladimir Yu. Sazonov
Affiliations:
-
Venue:
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Year:
1980

The history and status of the P versus NP question

STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Fixpoint logics, relational machines, and computational complexity

Journal of the ACM (JACM)
Theory of database queries

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Uniform definability on finite structures with successor

STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing

Hi-index	0.01