Lohrey, Markus Model-checking hierarchical structures. (English) Zbl 1279.68213 J. Comput. Syst. Sci. 78, No. 2, 461-490 (2012). MSC: 68Q60 03B70 68Q25 68Q15 PDFBibTeX XMLCite \textit{M. Lohrey}, J. Comput. Syst. Sci. 78, No. 2, 461--490 (2012; Zbl 1279.68213) Full Text: DOI
Papadimitriou, C. H.; Suciu, D.; Vianu, V. Topological queries in spatial databases. (English) Zbl 0943.68051 J. Comput. Syst. Sci. 58, No. 1, 29-53 (1999). MSC: 68P15 PDFBibTeX XMLCite \textit{C. H. Papadimitriou} et al., J. Comput. Syst. Sci. 58, No. 1, 29--53 (1999; Zbl 0943.68051) Full Text: DOI
Venkataraman, K. N.; Yasuhara, Ann; Hawrusik, Frank M. A view of computability on term algebras. (English) Zbl 0514.68053 J. Comput. Syst. Sci. 26, 410-471 (1983). MSC: 68Q25 PDFBibTeX XMLCite \textit{K. N. Venkataraman} et al., J. Comput. Syst. Sci. 26, 410--471 (1983; Zbl 0514.68053) Full Text: DOI
Machtey, Michael Augmented loop languages and classes of computable functions. (English) Zbl 0312.68028 J. Comput. Syst. Sci. 6, 603-624 (1972). MSC: 68Q25 68N01 03D20 PDFBibTeX XMLCite \textit{M. Machtey}, J. Comput. Syst. Sci. 6, 603--624 (1972; Zbl 0312.68028) Full Text: DOI
Doner, John Tree acceptors and some of their applications. (English) Zbl 0212.02901 J. Comput. Syst. Sci. 4, 406-451 (1970). MSC: 68Q70 PDFBibTeX XMLCite \textit{J. Doner}, J. Comput. Syst. Sci. 4, 406--451 (1970; Zbl 0212.02901) Full Text: DOI