TU Darmstadt / ULB / TUbiblio

On Proving the Termination of Algorithms by Machine

Walther, Christoph (1994):
On Proving the Termination of Algorithms by Machine.
In: Artificial Intelligence, 71 (1), pp. 101-157. Elsevier, DOI: 10.1016/0004-3702(94)90063-9,
[Article]

Item Type: Article
Erschienen: 1994
Creators: Walther, Christoph
Title: On Proving the Termination of Algorithms by Machine
Language: English
Journal or Publication Title: Artificial Intelligence
Journal volume: 71
Number: 1
Publisher: Elsevier
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Date Deposited: 23 Mar 2020 09:56
DOI: 10.1016/0004-3702(94)90063-9
Official URL: https://www.sciencedirect.com/science/article/abs/pii/000437...
Additional Information:

https://doi.org/10.1016/0004-3702(94)90063-9

Corresponding Links:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details