Fixpoint alternation: Arithmetic, transition systems, and the binary tree

Julian C. Bradfield. Fixpoint alternation: Arithmetic, transition systems, and the binary tree. ITA, 33(4/5):341-356, 1999.

Abstract

Abstract is missing.