The synthesis of (or)-interpreted matrix-instructions with disjoint colums
Part of the Lecture Notes in Computer Science book series (LNCS, volume 175)
Part I : A formalism and a computation method for the synthesis of algorithms
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1984