Borie, R. B. Generation of polynomial-time algorithms for some optimization problems on tree-decomposable graphs. (English) Zbl 0833.68089 Algorithmica 14, No. 2, 123-137 (1995). MSC: 68R10 PDFBibTeX XMLCite \textit{R. B. Borie}, Algorithmica 14, No. 2, 123--137 (1995; Zbl 0833.68089) Full Text: DOI
Borie, Richard B.; Parker, R. Gary; Tovey, Craig A. Automatic generation of linear-time algorithms from predicate calculus descriptions of problems on recursively constructed graph families. (English) Zbl 0753.05062 Algorithmica 7, No. 5-6, 555-581 (1992). MSC: 05C85 68Q25 03B10 68R10 PDFBibTeX XMLCite \textit{R. B. Borie} et al., Algorithmica 7, No. 5--6, 555--581 (1992; Zbl 0753.05062) Full Text: DOI
Borie, R.; Parker, R. Gary; Tovey, C. A. Algorithms for recognition of regular properties and decomposition of recursive graph families. (English) Zbl 0739.05078 Ann. Oper. Res. 33, No. 1-4, 127-149 (1991). MSC: 05C85 05C15 05C70 PDFBibTeX XMLCite \textit{R. Borie} et al., Ann. Oper. Res. 33, No. 1--4, 127--149 (1991; Zbl 0739.05078) Full Text: DOI