Journal of the ACM Bibliography

K. N. Venkataraman. Decidability of the purely existential fragment of the theory of term algebras. Journal of the ACM, 34(2):492-510, April 1987. [BibTeX entry]
Selected papers that cite this one


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database