Abdali, S. Kamal; Saunders, B. David Transitive closure and related semiring properties via eliminants. (English) Zbl 0618.16036 Theor. Comput. Sci. 40, 257-274 (1985). Reviewer: H.J.Weinert MSC: 16Y60 16S50 15A15 15A06 15A24 05C50 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Aalbersberg, Ijsbrand Jan; Rozenberg, G. CTS systems and Petri nets. (English) Zbl 0608.68053 Theor. Comput. Sci. 40, 149-162 (1985). MSC: 68Q85 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Kanaoka, Taiho; Tomita, Shingo Homogeneous decomposition of stochastic systems. (English) Zbl 0608.68051 Theor. Comput. Sci. 40, 245-255 (1985). MSC: 68Q70 68Q45 93E03 × Cite Format Result Cite Review PDF Full Text: DOI
Balcázar, Jose L.; Book, Ronald V.; Schöning, Uwe On bounded query machines. (English) Zbl 0608.68038 Theor. Comput. Sci. 40, 237-243 (1985). MSC: 68Q25 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Fogelman-Soulié, F. Parallel and sequential computation on Boolean networks. (English) Zbl 0607.94014 Theor. Comput. Sci. 40, 275-300 (1985). MSC: 94C10 68Q80 × Cite Format Result Cite Review PDF Full Text: DOI
Kaminski, Michael A lower bound for polynomial multiplication. (English) Zbl 0607.94010 Theor. Comput. Sci. 40, 319-322 (1985). MSC: 94B05 11T06 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Ginzburg, A.; Yoeli, M. Reducibility of synchronization structures. (English) Zbl 0607.68019 Theor. Comput. Sci. 40, 301-314 (1985). MSC: 68N25 × Cite Format Result Cite Review PDF Full Text: DOI
Bucher, W.; Ehrenfeucht, A.; Haussler, D. On total regulators generated by derivation relations. (English) Zbl 0606.68074 Theor. Comput. Sci. 40, 131-148 (1985). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Urbanek, Friedrich J. On Greibach normal form construction. (English) Zbl 0606.68073 Theor. Comput. Sci. 40, 315-317 (1985). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Bauer, G. n-level rewriting systems. (English) Zbl 0606.68025 Theor. Comput. Sci. 40, 85-99 (1985). MSC: 68Q65 20M05 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Gonthier, Georges Algebraic calculi of processes and net expressions. (English) Zbl 0606.68023 Theor. Comput. Sci. 40, 329-337 (1985). MSC: 68N25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Book, Ronald V.; Otto, Friedrich On the verifiability of two-party algebraic protocols. (English) Zbl 0603.94008 Theor. Comput. Sci. 40, 101-130 (1985). MSC: 94A60 × Cite Format Result Cite Review PDF Full Text: DOI
Ayers, Kathleen Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages. (English) Zbl 0603.68081 Theor. Comput. Sci. 40, 163-174 (1985). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Kobayashi, Kojiro On the structure of one-tape nondeterministic Turing machine time hierarchy. (English) Zbl 0603.68047 Theor. Comput. Sci. 40, 175-193 (1985). MSC: 68Q25 68Q05 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Huang, Ming-Deh A.; Lieberherr, Karl J. Implications of forbidden structures for extremal algorithmic problems. (English) Zbl 0603.68041 Theor. Comput. Sci. 40, 195-210 (1985). MSC: 68Q25 03B25 68R99 × Cite Format Result Cite Review PDF Full Text: DOI
Mascari, Gianfranco; Venturini Zilli, Marisa While-programs with nondeterministic assignments and the logic ALNA. (English) Zbl 0603.68032 Theor. Comput. Sci. 40, 211-235 (1985). MSC: 68Q65 03B70 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Krishnamoorthy, M. S.; Narendran, P. On recursive path ordering. (English) Zbl 0602.68031 Theor. Comput. Sci. 40, 323-328 (1985). MSC: 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Restivo, Antonio; Reutenauer, Christophe Rational languages and the Burnside problem. (English) Zbl 0597.68057 Theor. Comput. Sci. 40, 13-30 (1985). MSC: 68Q45 20M35 16W60 68-02 20-02 × Cite Format Result Cite Review PDF Full Text: DOI
Blumer, A.; Blumer, J.; Haussler, D.; Ehrenfeucht, A.; Chen, M. T.; Seiferas, J. The smallest automaton recognizing the subwords of a text. (English) Zbl 0574.68070 Theor. Comput. Sci. 40, 31-55 (1985). MSC: 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Karhumäki, Juhani On three-element codes. (English) Zbl 0574.68062 Theor. Comput. Sci. 40, 3-11 (1985). MSC: 68Q45 94A45 20M35 20M05 × Cite Format Result Cite Review PDF Full Text: DOI
Paige, Robert; Tarjan, Robert E.; Bonic, Robert A linear time solution to the single function coarsest partition problem. (English) Zbl 0574.68060 Theor. Comput. Sci. 40, 67-84 (1985). MSC: 68R99 05A17 68Q25 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Schöning, Uwe Robust algorithms: a different approach to oracles. (English) Zbl 0574.68041 Theor. Comput. Sci. 40, 57-66 (1985). MSC: 68Q05 68Q25 68W99 × Cite Format Result Cite Review PDF Full Text: DOI