Representation of Recursively Enumerable Languages Using Alternating Finite Tree Recognizers.

Kai Salomaa

Browse the full FCT paper archive.