Accession Number : AD0670558

Title :   TERMINATION OF ALGORITHMS.

Descriptive Note : Doctoral thesis,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Manna,Zohar

Report Date : APR 1968

Pagination or Media Count : 105

Abstract : The thesis contains two parts which are self-contained units. In Part 1 we present several results on the relation between the problem of termination and equivalence of programs and abstract programs, and the first order predicate calculus. Part 2 is concerned with the relation between the termination of interpreted graphs, and properties of well-ordered sets and graph theory. (Author)

Descriptors :   (*COMPUTER PROGRAMMING, ALGORITHMS), COMPUTER PROGRAMS, NUMERICAL ANALYSIS, SET THEORY, GRAPHICS, THEORY, FLOW CHARTING, SEQUENCES(MATHEMATICS), COMPATIBILITY, MATRICES(MATHEMATICS), THESES

Subject Categories : Theoretical Mathematics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE