Stavrovskij, A. B.; Pavliv, O. Yu. DM-automata and classes of context-free languages. (English. Russian original) Zbl 0834.68082 Cybern. Syst. Anal. 29, No. 1, 12-19 (1993); translation from Kibern. Sist. Anal. 1993, No. 1, 20-29 (1993). MSC: 68Q70 68Q45 20M35 PDFBibTeX XMLCite \textit{A. B. Stavrovskij} and \textit{O. Yu. Pavliv}, Cybern. Syst. Anal. 29, No. 1, 12--19 (1993; Zbl 0834.68082); translation from Kibern. Sist. Anal. 1993, No. 1, 20--29 (1993) Full Text: DOI
Kandulski, Maciej Normal form of derivations in the nonassociative and commutative Lambek calculus with product. (English) Zbl 0803.03015 Math. Log. Q. 39, No. 1, 103-114 (1993). MSC: 03B99 68Q45 68Q42 PDFBibTeX XMLCite \textit{M. Kandulski}, Math. Log. Q. 39, No. 1, 103--114 (1993; Zbl 0803.03015) Full Text: DOI
Păun, Gheorghe; Salomaa, Arto Closure properties of slender languages. (English) Zbl 0801.68106 Theor. Comput. Sci. 120, No. 2, 293-301 (1993). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Păun} and \textit{A. Salomaa}, Theor. Comput. Sci. 120, No. 2, 293--301 (1993; Zbl 0801.68106) Full Text: DOI
Valiev, M. K. \(\Pi_ 1^ 1\)-universality of some propositional logics of concurrent programs. (English) Zbl 0802.03026 Theor. Comput. Sci. 119, No. 1, 223-232 (1993). Reviewer: L.Brim (Brno) MSC: 03B70 68Q60 PDFBibTeX XMLCite \textit{M. K. Valiev}, Theor. Comput. Sci. 119, No. 1, 223--232 (1993; Zbl 0802.03026) Full Text: DOI
Slisenko, A. O. On fault tolerance of syntax. (English) Zbl 0783.68068 Theor. Comput. Sci. 119, No. 1, 215-222 (1993). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{A. O. Slisenko}, Theor. Comput. Sci. 119, No. 1, 215--222 (1993; Zbl 0783.68068) Full Text: DOI
Stilman, B. A linguistic approach to geometric reasoning. (English) Zbl 0800.68647 Comput. Math. Appl. 26, No. 7, 29-57 (1993). MSC: 68T50 68Q45 68Q42 68U05 68T30 PDFBibTeX XMLCite \textit{B. Stilman}, Comput. Math. Appl. 26, No. 7, 29--57 (1993; Zbl 0800.68647) Full Text: DOI
Chen, William Y. C. Context-free grammars, differential operators and formal power series. (English) Zbl 0788.68082 Theor. Comput. Sci. 117, No. 1-2, 113-129 (1993). Reviewer: William Y.C.Chen MSC: 68Q45 05A15 05A19 13F25 PDFBibTeX XMLCite \textit{W. Y. C. Chen}, Theor. Comput. Sci. 117, No. 1--2, 113--129 (1993; Zbl 0788.68082) Full Text: DOI
Dassow, Jürgen; Hinz, Friedhelm Decision problems and regular chain code picture languages. (English) Zbl 0797.68096 Discrete Appl. Math. 45, No. 1, 29-49 (1993). MSC: 68Q45 68U05 PDFBibTeX XMLCite \textit{J. Dassow} and \textit{F. Hinz}, Discrete Appl. Math. 45, No. 1, 29--49 (1993; Zbl 0797.68096) Full Text: DOI
Drewes, Frank Recognising \(k\)-connected hypergraphs in cubic time. (English) Zbl 0779.68052 Theor. Comput. Sci. 109, No. 1-2, 83-122 (1993). Reviewer: F.Drewes MSC: 68Q45 68R10 68N20 68Q25 PDFBibTeX XMLCite \textit{F. Drewes}, Theor. Comput. Sci. 109, No. 1--2, 83--122 (1993; Zbl 0779.68052) Full Text: DOI