An algebraic characterization of the behaviour of non-sequential systems. The maximum depth of monotone formulae. A linear storage space algorithm for a reference structure index. An error-correcting coding scheme for alphanumeric data. Divide and conquer for linear expected time.
Insertion merge sorting.
On the generative capacity of simple matrix grammars of finite index. Hanan Samet . A canonical form algorithm for proving equivalence of conditional forms. On the expressive power of the relational algebra. Multiple access to a tree in the context of readers and writers problem.