Journal of the ACM Bibliography

David Harel. Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness. Journal of the ACM, 33(1):224-248, January 1986. [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