Әлсіз монадтық екінші реттік логика
method
ID: weakmonadicsecondorderlogic
Related Papers
Representing Constraints with Automata
In this paper we describe an approach to constraint based syntactic theories in terms of finite tree automata. The solutions to constraints expressed in weak monadic sec- ond order (MSO) …...