A Closer Look at Termination - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Shmuel Katz, Zohar Manna. A Closer Look at Termination. Acta Informatica, 5:333-352, 1975.

@article{KatzM75,
  title = {A Closer Look at Termination},
  author = {Shmuel Katz and Zohar Manna},
  year = {1975},
  tags = {termination},
  researchr = {https://researchr.org/publication/KatzM75},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {5},
  pages = {333-352},
}

runs on WebDSL