Characterization of Logics over Ranked Tree Languages.

Thomas Place

Browse the full CSL paper archive.