The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.

Robert A. Di Paola: The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. J. ACM 16(2): 324-327(1969)

@article{DBLP:journals/jacm/Paola69a,
  author    = {Robert A. Di Paola},
  title     = {The Recursive Unsolvability of the Decision Problem for the Class
               of Definite Formulas},
  journal   = {J. ACM},
  volume    = {16},
  number    = {2},
  year      = {1969},
  pages     = {324-327},
  ee        = {db/journals/jacm/Paola69a.html, http://doi.acm.org/10.1145/321510.321524},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An5-2 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

BibTeX

Online Edition

Citation Page BibTeX

BibTeX