Rankings
Publications
Search Publications
Cited-by Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Scilit
About Us
Advisory Board
Data Sources
Career
Support / Contact
User Guide
Publisher User
Search Function
Rankings Function
API Resource
Scilit Knowledge
Metrics
Scilit Recognitions
Publications Classification
Media
News
Blog
Login
Register
Home
Publications
A closer look at termination
Home
Publications
A closer look at termination
A closer look at termination
Authors:
SK
Shmuel Katz
Shmuel Katz
ZM
Zohar Manna
Zohar Manna
Article Alert
Citation Alert
Add to Library
Cite
Download
Share
Download
Download PDF
Download
Publisher website
Google Scholar
1 January 1975
journal article
Published by
Springer Nature
in
Acta Informatica
Vol. 5
(4)
,
333-352
DOI:
10.1007/bf00264565
Abstract
No abstract available
Keywords
COMPUTER PROGRAMS
PROGRAMS TERMINATE
APPROACH
LOOP
CLASS
ILLUSTRATED
PROVING TERMINATION
FLOYD
BURSTALL
PROVING
Cited
Cited by 34 articles
Scroll to top