On Proving the Termination of Algorithms by Machine - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Christoph Walther. On Proving the Termination of Algorithms by Machine. Artificial Intelligence, 71(1):101-157, 1994.

@article{Walther94,
  title = {On Proving the Termination of Algorithms by Machine},
  author = {Christoph Walther},
  year = {1994},
  tags = {termination},
  researchr = {https://researchr.org/publication/Walther94},
  cites = {0},
  citedby = {0},
  journal = {Artificial Intelligence},
  volume = {71},
  number = {1},
  pages = {101-157},
}

runs on WebDSL