The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets

T. S. E. Maibaum

Browse the full FOCS paper archive.