×

Monadic decomposition. (English) Zbl 1426.03026


MSC:

03D05 Automata and formal grammars in connection with logical questions
03B25 Decidability of theories and sets of sentences
PDFBibTeX XMLCite
Full Text: DOI