Solitro, Ugo A typed calculus based on a fragment of linear logic. (English) Zbl 0694.03035 Theor. Comput. Sci. 68, No. 3, 333-342 (1989). Reviewer: V.Yu.Sazonov MSC: 03F05 03B40 PDFBibTeX XMLCite \textit{U. Solitro}, Theor. Comput. Sci. 68, No. 3, 333--342 (1989; Zbl 0694.03035) Full Text: DOI
Coquand, Thierry Categories of embeddings. (English) Zbl 0688.18004 Theor. Comput. Sci. 68, No. 3, 221-237 (1989). Reviewer: S.V.Solov’ev MSC: 18D15 68Q60 03G30 PDFBibTeX XMLCite \textit{T. Coquand}, Theor. Comput. Sci. 68, No. 3, 221--237 (1989; Zbl 0688.18004) Full Text: DOI
Blanchard, F. Codes engendrant certains systèmes sofiques. (Codes generating certain sofic systems). (French) Zbl 0683.28009 Theor. Comput. Sci. 68, No. 3, 253-265 (1989). Reviewer: G.R.Goodson MSC: 28D05 94B05 PDFBibTeX XMLCite \textit{F. Blanchard}, Theor. Comput. Sci. 68, No. 3, 253--265 (1989; Zbl 0683.28009) Full Text: DOI
Rupert, C. P. Comment on a remark of Forys. (English) Zbl 0681.68098 Theor. Comput. Sci. 68, No. 3, 347-348 (1989). MSC: 68Q45 20M35 20M05 PDFBibTeX XMLCite \textit{C. P. Rupert}, Theor. Comput. Sci. 68, No. 3, 347--348 (1989; Zbl 0681.68098) Full Text: DOI
Bracho, Felipe Continuously generated fixed points. (English) Zbl 0679.68148 Theor. Comput. Sci. 68, No. 3, 303-317 (1989). MSC: 68Q55 68Q60 06A06 PDFBibTeX XMLCite \textit{F. Bracho}, Theor. Comput. Sci. 68, No. 3, 303--317 (1989; Zbl 0679.68148) Full Text: DOI
Immerman, Neil; Mahaney, Stephen R. Relativizing relativized computations. (English) Zbl 0679.68084 Theor. Comput. Sci. 68, No. 3, 267-276 (1989). MSC: 68Q25 03D15 68Q05 PDFBibTeX XMLCite \textit{N. Immerman} and \textit{S. R. Mahaney}, Theor. Comput. Sci. 68, No. 3, 267--276 (1989; Zbl 0679.68084) Full Text: DOI
Hortalá-González, M. Teresa; Rodríguez-Artalejo, Mario Hoare’s logic for nondeterministic regular programs: A nonstandard approach. (English) Zbl 0679.68024 Theor. Comput. Sci. 68, No. 3, 277-302 (1989). MSC: 68Q60 03B70 68Q55 03B60 68N01 PDFBibTeX XMLCite \textit{M. T. Hortalá-González} and \textit{M. Rodríguez-Artalejo}, Theor. Comput. Sci. 68, No. 3, 277--302 (1989; Zbl 0679.68024) Full Text: DOI
Gutbrod, Roger A transformation system for generating description languages of chain code pictures. (English) Zbl 0678.68067 Theor. Comput. Sci. 68, No. 3, 239-252 (1989). MSC: 68Q45 68T10 PDFBibTeX XMLCite \textit{R. Gutbrod}, Theor. Comput. Sci. 68, No. 3, 239--252 (1989; Zbl 0678.68067) Full Text: DOI
Gafni, Eli; Naor, Joseph; Ragde, Prabhakar On separating the EREW and CREW PRAM models. (English) Zbl 0678.68049 Theor. Comput. Sci. 68, No. 3, 343-346 (1989). MSC: 68Q05 68P10 68Q25 68N25 PDFBibTeX XMLCite \textit{E. Gafni} et al., Theor. Comput. Sci. 68, No. 3, 343--346 (1989; Zbl 0678.68049) Full Text: DOI
Narendran, Paliath; Otto, Friedrich Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems. (English) Zbl 0677.68050 Theor. Comput. Sci. 68, No. 3, 319-332 (1989). MSC: 68Q25 68Q65 03D03 03B25 68T15 68T99 PDFBibTeX XMLCite \textit{P. Narendran} and \textit{F. Otto}, Theor. Comput. Sci. 68, No. 3, 319--332 (1989; Zbl 0677.68050) Full Text: DOI