The Solutions of Two Star-Height Problems for Regular Trees

Jean-Pierre Braquelaire, Bruno Courcelle. The Solutions of Two Star-Height Problems for Regular Trees. Theoretical Computer Science, 30:205-239, 1984.

Abstract

Abstract is missing.