A Computer Program for a Solvable Case of the Decision Problem
Joyce Friedman · Journal of the ACM · 1963
In a previous paper [4] by the same author a semi-decisi(m procedure for the funetionM calculus was described.A part of the procedure has now been programmed for the 7090 computer.In this paper a FORTRAN program is described which decides expressions with prefix (By1) (By2) (z~) -.. (z,d and matrix containing only dyadic funet.ionalvariables.The program has been run for some standard examples and takes less t:han seven seconds for the longest one.