Deutch, Daniel; Milo, Tova A structural/temporal query language for business processes. (English) Zbl 1242.68088 J. Comput. Syst. Sci. 78, No. 2, 583-609 (2012). MSC: 68P15 68Q17 90B50 PDFBibTeX XMLCite \textit{D. Deutch} and \textit{T. Milo}, J. Comput. Syst. Sci. 78, No. 2, 583--609 (2012; Zbl 1242.68088) Full Text: DOI
Lohrey, Markus; Mathissen, Christian Isomorphism of regular trees and words. (English) Zbl 1333.68126 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 210-221 (2011). MSC: 68Q17 03C57 03D05 68Q25 68Q45 68R15 PDFBibTeX XMLCite \textit{M. Lohrey} and \textit{C. Mathissen}, Lect. Notes Comput. Sci. 6756, 210--221 (2011; Zbl 1333.68126) Full Text: DOI arXiv
Caucal, Didier On the regular structure of prefix rewriting. (English) Zbl 0780.68077 Theor. Comput. Sci. 106, No. 1, 62-86 (1992). Reviewer: Didier Caucal MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{D. Caucal}, Theor. Comput. Sci. 106, No. 1, 62--86 (1992; Zbl 0780.68077) Full Text: DOI
Courcelle, Bruno The monadic second-order logic of graphs. I: Recognizable sets of finite graphs. (English) Zbl 0722.03008 Inf. Comput. 85, No. 1, 12-75 (1990). Reviewer: Li Xiang (Guiyang) MSC: 03B15 68R10 05C75 05C65 03B25 68Q45 08A70 PDFBibTeX XMLCite \textit{B. Courcelle}, Inf. Comput. 85, No. 1, 12--75 (1990; Zbl 0722.03008) Full Text: DOI
Wanke, Egon; Wiegers, Manfred Undecidability of the bandwidth problem on linear graph languages. (English) Zbl 0693.68045 Inf. Process. Lett. 33, No. 4, 193-197 (1989). Reviewer: J.M.Voloshin MSC: 68Q45 03D35 PDFBibTeX XMLCite \textit{E. Wanke} and \textit{M. Wiegers}, Inf. Process. Lett. 33, No. 4, 193--197 (1989; Zbl 0693.68045) Full Text: DOI
Courcelle, B. An axiomatic definition of context-free rewriting and its application to NLC graph grammars. (English) Zbl 0644.68095 Theor. Comput. Sci. 55, 141-181 (1987). Reviewer: A.V.Anisimov MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{B. Courcelle}, Theor. Comput. Sci. 55, 141--181 (1987; Zbl 0644.68095) Full Text: DOI