A Second-Order System for Polytime Reasoning Using Graedel s Theorem - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stephen A. Cook, Antonina Kolokolova. A Second-Order System for Polytime Reasoning Using Graedel s Theorem. In LICS. pages 177-186, 2001.

@inproceedings{CookK01,
  title = {A Second-Order System for Polytime Reasoning Using Graedel s Theorem},
  author = {Stephen A. Cook and Antonina Kolokolova},
  year = {2001},
  researchr = {https://researchr.org/publication/CookK01},
  cites = {0},
  citedby = {0},
  pages = {177-186},
  booktitle = {LICS},
}

runs on WebDSL