Czejdo, Bogdan D.; Tucci, Ralph P.; Embley, David W. Expressing quantification in relational calculus by participation constraints. (English) Zbl 0796.68070 Appl. Math. Lett. 6, No. 1, 53-56 (1993). MSC: 68P15 PDFBibTeX XMLCite \textit{B. D. Czejdo} et al., Appl. Math. Lett. 6, No. 1, 53--56 (1993; Zbl 0796.68070) Full Text: DOI
Tucci, Ralph P. A decomposition theorem for a class of infinite transformation semigroups. (English) Zbl 0688.68056 Acta Cybern. 9, No. 1, 39-54 (1989). Reviewer: S.M.Goberstein MSC: 68Q70 PDFBibTeX XMLCite \textit{R. P. Tucci}, Acta Cybern. 9, No. 1, 39--54 (1989; Zbl 0688.68056)
Tucci, Ralph P. A note on the decomposition of infinite automata. (English) Zbl 0661.68059 Int. J. Comput. Math. 24, No. 2, 141-149 (1988). Reviewer: J.Adamek MSC: 68Q70 PDFBibTeX XMLCite \textit{R. P. Tucci}, Int. J. Comput. Math. 24, No. 2, 141--149 (1988; Zbl 0661.68059) Full Text: DOI