Ritzmann, Peter A fast numerical algorithm for the composition of power series with complex coefficients. (English) Zbl 0632.68039 Theor. Comput. Sci. 44, 1-16 (1986). Reviewer: M.Clausen MSC: 68W30 68Q25 PDF BibTeX XML Cite \textit{P. Ritzmann}, Theor. Comput. Sci. 44, 1--16 (1986; Zbl 0632.68039) Full Text: DOI
Blanchard, F.; Martinez, S. Points d’orbite dense de certains langages de mots infinis. (French) Zbl 0628.68057 Theor. Comput. Sci. 44, 107-110 (1986). Reviewer: M.H.Kunze MSC: 68Q45 20M05 20M35 PDF BibTeX XML Cite \textit{F. Blanchard} and \textit{S. Martinez}, Theor. Comput. Sci. 44, 107--110 (1986; Zbl 0628.68057) Full Text: DOI
Rosier, Louis E.; Yen, Hsu-Chun Boundedness, empty channel detection, and synchronization for communicating finite automata. (English) Zbl 0614.68049 Theor. Comput. Sci. 44, 69-105 (1986). Reviewer: H.Müller MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{L. E. Rosier} and \textit{H.-C. Yen}, Theor. Comput. Sci. 44, 69--105 (1986; Zbl 0614.68049) Full Text: DOI
Leivant, Daniel Typing and computational properties of lambda expressions. (English) Zbl 0613.68020 Theor. Comput. Sci. 44, 51-68 (1986). Reviewer: J.-J.Ch.Meyer MSC: 68Q65 68Q60 03B40 PDF BibTeX XML Cite \textit{D. Leivant}, Theor. Comput. Sci. 44, 51--68 (1986; Zbl 0613.68020) Full Text: DOI
Chang, Jik H.; Ibarra, Oscar H.; Palis, Michael A.; Ravikumar, B. On pebble automata. (English) Zbl 0612.68045 Theor. Comput. Sci. 44, 111-121 (1986). Reviewer: U.Klemm MSC: 68Q05 68Q45 PDF BibTeX XML Cite \textit{J. H. Chang} et al., Theor. Comput. Sci. 44, 111--121 (1986; Zbl 0612.68045) Full Text: DOI
Urbanek, Friedrich J. On Greibach normal form construction. (English) Zbl 0609.68050 Theor. Comput. Sci. 44, 229-236 (1986). MSC: 68Q45 PDF BibTeX XML Cite \textit{F. J. Urbanek}, Theor. Comput. Sci. 44, 229--236 (1986; Zbl 0609.68050) Full Text: DOI
Okawa, Satoshi; Hirose, Sadaki; Yoneda, Masaaki On the impossibility of the homomorphic characterization of context- sensitive languages. (English) Zbl 0609.68049 Theor. Comput. Sci. 44, 225-228 (1986). MSC: 68Q45 PDF BibTeX XML Cite \textit{S. Okawa} et al., Theor. Comput. Sci. 44, 225--228 (1986; Zbl 0609.68049) Full Text: DOI
Diekert, Volker Complete semi-Thue systems for abelian groups. (English) Zbl 0609.68028 Theor. Comput. Sci. 44, 199-208 (1986). MSC: 68Q65 20M05 20K99 03D03 03D40 PDF BibTeX XML Cite \textit{V. Diekert}, Theor. Comput. Sci. 44, 199--208 (1986; Zbl 0609.68028) Full Text: DOI
Narendran, Paliath On the regular equivalence problem for regular Thue systems. (English) Zbl 0609.68027 Theor. Comput. Sci. 44, 237-245 (1986). MSC: 68Q65 20M05 03D03 03B25 PDF BibTeX XML Cite \textit{P. Narendran}, Theor. Comput. Sci. 44, 237--245 (1986; Zbl 0609.68027) Full Text: DOI
Kreowski, Hans-Jörg; Wilharm, Anne Net processes correspond to derivation processes in graph grammars. (English) Zbl 0607.68058 Theor. Comput. Sci. 44, 275-305 (1986). Reviewer: W.Kwasowiec MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{H.-J. Kreowski} and \textit{A. Wilharm}, Theor. Comput. Sci. 44, 275--305 (1986; Zbl 0607.68058) Full Text: DOI
Paul, E. On solving the equality problem in theories defined by Horn clauses. (English) Zbl 0607.03002 Theor. Comput. Sci. 44, 127-153 (1986). Reviewer: M.Armbrust MSC: 03B35 68T15 03B25 PDF BibTeX XML Cite \textit{E. Paul}, Theor. Comput. Sci. 44, 127--153 (1986; Zbl 0607.03002) Full Text: DOI
Leiss, Ernst L. Generalized language equations with multiple solutions. (English) Zbl 0606.68071 Theor. Comput. Sci. 44, 155-174 (1986). Reviewer: B.Zelinka MSC: 68Q45 PDF BibTeX XML Cite \textit{E. L. Leiss}, Theor. Comput. Sci. 44, 155--174 (1986; Zbl 0606.68071) Full Text: DOI
Dunne, Paul E. The complexity of central slice functions. (English) Zbl 0605.94010 Theor. Comput. Sci. 44, 247-257 (1986). Reviewer: S.P.Yukna MSC: 94C10 68Q25 03D15 06E30 PDF BibTeX XML Cite \textit{P. E. Dunne}, Theor. Comput. Sci. 44, 247--257 (1986; Zbl 0605.94010) Full Text: DOI
Takahashi, Masako The greatest fixed-points and rational omega-tree languages. (English) Zbl 0602.68071 Theor. Comput. Sci. 44, 259-274 (1986). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Takahashi}, Theor. Comput. Sci. 44, 259--274 (1986; Zbl 0602.68071) Full Text: DOI
Etzion, T. An algorithm for generating shift-register cycles. (English) Zbl 0601.94008 Theor. Comput. Sci. 44, 209-224 (1986). Reviewer: J.Żurawiecki MSC: 94A99 68Q25 68R99 94B99 PDF BibTeX XML Cite \textit{T. Etzion}, Theor. Comput. Sci. 44, 209--224 (1986; Zbl 0601.94008) Full Text: DOI
Blanchard, F.; Hansel, G. Systèmes codés. (Coded systems). (French) Zbl 0601.68056 Theor. Comput. Sci. 44, 17-49 (1986). MSC: 68Q45 54H20 37A99 PDF BibTeX XML Cite \textit{F. Blanchard} and \textit{G. Hansel}, Theor. Comput. Sci. 44, 17--49 (1986; Zbl 0601.68056) Full Text: DOI
Dowling, William F.; Gallier, Jean H. Continuation semantics for flowgraph equations. (English) Zbl 0599.68020 Theor. Comput. Sci. 44, 307-331 (1986). MSC: 68Q60 PDF BibTeX XML Cite \textit{W. F. Dowling} and \textit{J. H. Gallier}, Theor. Comput. Sci. 44, 307--331 (1986; Zbl 0599.68020) Full Text: DOI
Poulsen, Ebbe Thue The Ehrenfeucht conjecture: An algebra-framework for its proof. (English) Zbl 0599.20092 Theor. Comput. Sci. 44, 333-339 (1986). Reviewer: T.J.Harju MSC: 20M05 20M35 68Q45 PDF BibTeX XML Cite \textit{E. T. Poulsen}, Theor. Comput. Sci. 44, 333--339 (1986; Zbl 0599.20092) Full Text: DOI
Kobayashi, Yuji Repetition-free words. (English) Zbl 0596.20058 Theor. Comput. Sci. 44, 175-197 (1986). Reviewer: K.H.Kim MSC: 20M35 20M05 68Q45 PDF BibTeX XML Cite \textit{Y. Kobayashi}, Theor. Comput. Sci. 44, 175--197 (1986; Zbl 0596.20058) Full Text: DOI