
Accession Number : AD0670558
Title : TERMINATION OF ALGORITHMS.
Descriptive Note : Doctoral thesis,
Corporate Author : CARNEGIEMELLON 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 selfcontained 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 wellordered 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