Journal of the ACM Bibliography

Robert A. Di Paola. The recursive unsolvability of the decision problem for the class of definite formulas. Journal of the ACM, 16(2):324-327, April 1969. [BibTeX entry]

Additional Key Words and Phrases: data retrieval system, Relational Data File, predicate calculus definite formulas, recursively unsolvable decision problem, Trahtenbrot's theorem

Selected papers that cite this one

Robert Demolombe. Syntactical characterization of a subset of domain-independent formulas. Journal of the ACM, 39(1):71-94, January 1992.

Ronald Fagin. Horn clauses and database dependencies. Journal of the ACM, 29(4):952-985, October 1982.

Robert A. Di Paola. The solvability of the decision problem for classes of proper formulas and related results. Journal of the ACM, 20(1):112-126, January 1973.

Shortcuts:

Journal of the ACM homepage

Bibliography top level

Journal of the ACM Author Index

Search the HBP database