K. N. Venkataraman
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.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database