Nearly deterministic automata acceptation of infinite trees and a complexitiy of weak theory of SkS

Andrzej Wlodzimierz Mostowski. Nearly deterministic automata acceptation of infinite trees and a complexitiy of weak theory of SkS. In Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, Lilli, France, 21, 22 et 23 fĂ©vier 1980. pages 54-62, Université de Lille 1, 1980.

Abstract

Abstract is missing.