The Algebraic Specification Column
The Logic in Computer Science Column
: Graphs and Monadic Second-Order Logic: Some Open Problems.
The Structural Complexity Column
The Formal Language Theory Column
: The generating function of completely bracketed expressions.
: The representation of a program in the Blum-Shub-Smale theory of computation over an arbitary ring.
: Order isomorphism odes not preserve global event independence.