• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

The quest for a logic for polynomial-time computation: technical perspective.

Phokion G. Kolaitis
Published in: Commun. ACM (2011)
Keyphrases
  • special case
  • artificial intelligence
  • approximation algorithms
  • logic programming
  • defeasible logic
  • finite automata
  • real time
  • databases
  • search engine
  • np hard
  • multi valued
  • logical framework
  • classical logic
  • truth table