Courcelle, Bruno The monadic second-order logic of graphs. II: Infinite graphs of bounded width. (English) Zbl 0694.68043 Math. Syst. Theory 21, No. 4, 187-221 (1989). Reviewer: S.Bloom MSC: 68R10 03B15 05C99 68Q60 PDFBibTeX XMLCite \textit{B. Courcelle}, Math. Syst. Theory 21, No. 4, 187--221 (1989; Zbl 0694.68043) Full Text: DOI
Courcelle, Bruno An axiomatic approach to the Korenjak-Hopcroft algorithms. (English) Zbl 0581.68032 Math. Syst. Theory 16, 191-231 (1983). Reviewer: G.Slutzki MSC: 68W99 68Q45 68Q60 68Q65 PDFBibTeX XMLCite \textit{B. Courcelle}, Math. Syst. Theory 16, 191--231 (1983; Zbl 0581.68032) Full Text: DOI
Parikh, Rohit Some applications of topology to program semantics. (English) Zbl 0548.68011 Math. Syst. Theory 16, 111-131 (1983). MSC: 68Q60 06A15 06B30 68Q65 06A06 PDFBibTeX XMLCite \textit{R. Parikh}, Math. Syst. Theory 16, 111--131 (1983; Zbl 0548.68011) Full Text: DOI
Benson, David B. In Scott-Strachey style denotational semantics, parallelism implies nondeterminism. (English) Zbl 0512.68009 Math. Syst. Theory 15, 267-275 (1982). MSC: 68Q60 PDFBibTeX XMLCite \textit{D. B. Benson}, Math. Syst. Theory 15, 267--275 (1982; Zbl 0512.68009) Full Text: DOI
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef Transformations of structures: An algebraic approach. (English) Zbl 0491.68035 Math. Syst. Theory 14, 305-334 (1981). MSC: 68Q65 68Q60 68Q45 68Q70 18B20 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Math. Syst. Theory 14, 305--334 (1981; Zbl 0491.68035) Full Text: DOI
Gallier, Jean H. On the existence of optimal fixpoints. (English) Zbl 0445.06002 Math. Syst. Theory 13, 209-217 (1980). MSC: 06A06 06A12 68Q99 68Q60 PDFBibTeX XMLCite \textit{J. H. Gallier}, Math. Syst. Theory 13, 209--217 (1980; Zbl 0445.06002) Full Text: DOI
Arnold, Andre; Nivat, Maurice Formal computations of non deterministic recursive program schemes. (English) Zbl 0441.68044 Math. Syst. Theory 13, 219-236 (1980). MSC: 68W30 68Q60 PDFBibTeX XMLCite \textit{A. Arnold} and \textit{M. Nivat}, Math. Syst. Theory 13, 219--236 (1980; Zbl 0441.68044) Full Text: DOI
Lynch, Nancy A.; Blum, Edward K. A difference in expressive power between flowcharts and recursion schemes. (English) Zbl 0425.68020 Math. Syst. Theory 12, 205-211 (1979). MSC: 68Q60 68Q65 PDFBibTeX XMLCite \textit{N. A. Lynch} and \textit{E. K. Blum}, Math. Syst. Theory 12, 205--211 (1979; Zbl 0425.68020) Full Text: DOI
Courcelle, Bruno Infinite trees in normal form and recursive equations having a unique solution. (English) Zbl 0418.68013 Math. Syst. Theory 13, 131-180 (1979). MSC: 68Q60 PDFBibTeX XMLCite \textit{B. Courcelle}, Math. Syst. Theory 13, 131--180 (1979; Zbl 0418.68013) Full Text: DOI