Smith, Carl H.; Velauthapillai, Mahendran On the inference of approximate programs. (English) Zbl 0727.03029 Theor. Comput. Sci. 77, No. 3, 249-266 (1990). Reviewer: A.Kreczmar (Warszawa) MSC: 03D80 68Q60 03D10 03D20 03D15 PDFBibTeX XMLCite \textit{C. H. Smith} and \textit{M. Velauthapillai}, Theor. Comput. Sci. 77, No. 3, 249--266 (1990; Zbl 0727.03029) Full Text: DOI
Kawahara, Yasuo Pushout-complements and basic concepts of grammars in toposes. (English) Zbl 0723.18004 Theor. Comput. Sci. 77, No. 3, 267-289 (1990). Reviewer: Y.Diers (Faches-Thumesnil) MSC: 18B25 68Q42 18A30 18A10 PDFBibTeX XMLCite \textit{Y. Kawahara}, Theor. Comput. Sci. 77, No. 3, 267--289 (1990; Zbl 0723.18004) Full Text: DOI
Dowling, William F.; Kline, Robert The fixed points of logic programs with Herbrand base \({\mathbb{N}}\). (English) Zbl 0718.68050 Theor. Comput. Sci. 77, No. 3, 309-319 (1990). Reviewer: G.Grigoras (Iaşi) MSC: 68Q55 68N17 68T15 PDFBibTeX XMLCite \textit{W. F. Dowling} and \textit{R. Kline}, Theor. Comput. Sci. 77, No. 3, 309--319 (1990; Zbl 0718.68050) Full Text: DOI
Toda, Seinosuke Positive relativizations for log space computability. (English) Zbl 0718.68039 Theor. Comput. Sci. 77, No. 3, 221-235 (1990). Reviewer: G.Grigoras (Iaşi) MSC: 68Q15 03D15 68Q05 PDFBibTeX XMLCite \textit{S. Toda}, Theor. Comput. Sci. 77, No. 3, 221--235 (1990; Zbl 0718.68039) Full Text: DOI
Atzeni, Paolo; Chan, Edward P. F. Efficient and optimal query answering on independent schemes. (English) Zbl 0718.68027 Theor. Comput. Sci. 77, No. 3, 291-308 (1990). MSC: 68P15 PDFBibTeX XMLCite \textit{P. Atzeni} and \textit{E. P. F. Chan}, Theor. Comput. Sci. 77, No. 3, 291--308 (1990; Zbl 0718.68027) Full Text: DOI
Elbaz, Mounir; Spehner, Jean-Claude Construction of Voronoi diagrams in the plane by using maps. (English) Zbl 0715.68085 Theor. Comput. Sci. 77, No. 3, 331-343 (1990). MSC: 68U05 PDFBibTeX XMLCite \textit{M. Elbaz} and \textit{J.-C. Spehner}, Theor. Comput. Sci. 77, No. 3, 331--343 (1990; Zbl 0715.68085) Full Text: DOI
Fahmy, Hossam Mahmoud Ahmad Analysis of Petri nets by partitioning: Splitting transitions. (English) Zbl 0715.68066 Theor. Comput. Sci. 77, No. 3, 321-330 (1990). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. M. A. Fahmy}, Theor. Comput. Sci. 77, No. 3, 321--330 (1990; Zbl 0715.68066) Full Text: DOI
Bozapalidis, Symeon Constructions effectives sur les séries formelles d’arbres. (Effective constructions on formal tree series). (French) Zbl 0715.68045 Theor. Comput. Sci. 77, No. 3, 237-247 (1990). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Bozapalidis}, Theor. Comput. Sci. 77, No. 3, 237--247 (1990; Zbl 0715.68045) Full Text: DOI