Lenzi, Giacomo Monadic second order logic and its fragments. (English) Zbl 1263.03007 Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 258-264 (2002). MSC: 03B15 03B25 PDFBibTeX XMLCite \textit{G. Lenzi}, Electron. Notes Theor. Comput. Sci. 51, 258--264 (2002; Zbl 1263.03007) Full Text: DOI
Corradini, Andrea GETGRATS: a summary of scientific results (with annotated bibliography). (English) Zbl 1263.68069 Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 1-64 (2002). MSC: 68Q42 68Q60 00A15 PDFBibTeX XMLCite \textit{A. Corradini}, Electron. Notes Theor. Comput. Sci. 51, 1--64 (2002; Zbl 1263.68069) Full Text: DOI
Skurczyński, Jerzy A characterization of Büchi tree automata. (English) Zbl 1046.68070 Inf. Process. Lett. 81, No. 1, 29-33 (2002). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Skurczyński}, Inf. Process. Lett. 81, No. 1, 29--33 (2002; Zbl 1046.68070) Full Text: DOI