Issue No.08 - August (1978 vol.27)
R.E. Prather , Department of Mathematics, University of Denver
A theory relating certain labeled directed graphs and Boolean expressions over propositional variables is seen to have several interesting applcations in computer science, most notably to programming, compiling, and switching theory. The applications arise from the capability of realizing any Boolean expression by a member of the class of digraphs here considered, those we shall call "atomic."
switching theory, Boolean algebra, compiler theory, directed graphs, iterative circuits, programming languages
R.E. Prather, H.T. Casstevens, "Realization of Boolean Expressions by Atomic Digraphs", IEEE Transactions on Computers, vol.27, no. 8, pp. 681-688, August 1978, doi:10.1109/TC.1978.1675174