Maibaum, T. S. E. A generalized approach to formal languages. (English) Zbl 0361.68113 J. Comput. Syst. Sci. 8, 409-439 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. S. E. Maibaum}, J. Comput. Syst. Sci. 8, 409--439 (1974; Zbl 0361.68113) Full Text: DOI
Blum, E. K.; Rodrigue, Garry H. Solution of eigenvalue problems in Hilbert spaces by a gradient method. (English) Zbl 0327.65052 J. Comput. Syst. Sci. 8, 220-237 (1974). MSC: 65J05 65F15 65N25 65K05 47A10 PDFBibTeX XMLCite \textit{E. K. Blum} and \textit{G. H. Rodrigue}, J. Comput. Syst. Sci. 8, 220--237 (1974; Zbl 0327.65052) Full Text: DOI
Baker, Brenda S.; Book, Ronald V. Reversal-bounded multipushdown machines. (English) Zbl 0309.68043 J. Comput. Syst. Sci. 8, 315-332 (1974). MSC: 68Q25 68Q45 03D25 03D10 PDFBibTeX XMLCite \textit{B. S. Baker} and \textit{R. V. Book}, J. Comput. Syst. Sci. 8, 315--332 (1974; Zbl 0309.68043) Full Text: DOI
Borodin, A.; Moenck, R. Fast modular transforms. (English) Zbl 0302.68064 J. Comput. Syst. Sci. 8, 366-386 (1974). MSC: 68Q25 PDFBibTeX XMLCite \textit{A. Borodin} and \textit{R. Moenck}, J. Comput. Syst. Sci. 8, 366--386 (1974; Zbl 0302.68064) Full Text: DOI
Lewis, Harry R. Program schemata and the first-order decision problem. (English) Zbl 0295.68013 J. Comput. Syst. Sci. 8, 71-83 (1974). MSC: 68N01 68Q45 68Q25 PDFBibTeX XMLCite \textit{H. R. Lewis}, J. Comput. Syst. Sci. 8, 71--83 (1974; Zbl 0295.68013) Full Text: DOI
Revesz, György Comment on the paper ’Error detection in formal languages’. (English) Zbl 0294.68030 J. Comput. Syst. Sci. 8, 238-242 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{G. Revesz}, J. Comput. Syst. Sci. 8, 238--242 (1974; Zbl 0294.68030) Full Text: DOI
Khabbaz, Nabil A. A geometric hierarchy of languages. (English) Zbl 0294.68029 J. Comput. Syst. Sci. 8, 142-157 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{N. A. Khabbaz}, J. Comput. Syst. Sci. 8, 142--157 (1974; Zbl 0294.68029) Full Text: DOI
Choueka, Yaacov Theories of automata on \(\omega\)-tapes: a simplified approach. (English) Zbl 0292.02033 J. Comput. Syst. Sci. 8, 117-141 (1974). MSC: 03D05 68Q45 PDFBibTeX XMLCite \textit{Y. Choueka}, J. Comput. Syst. Sci. 8, 117--141 (1974; Zbl 0292.02033) Full Text: DOI
Goguen, J. A. jun. On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs. (English) Zbl 0285.68010 J. Comput. Syst. Sci. 8, 333-365 (1974). MSC: 68N01 68Q45 PDFBibTeX XMLCite \textit{J. A. Goguen jun.}, J. Comput. Syst. Sci. 8, 333--365 (1974; Zbl 0285.68010) Full Text: DOI
Johnson, David S. Fast algorithms for bin packing. (English) Zbl 0284.68023 J. Comput. Syst. Sci. 8, 272-314 (1974). MSC: 68N01 68P20 PDFBibTeX XMLCite \textit{D. S. Johnson}, J. Comput. Syst. Sci. 8, 272--314 (1974; Zbl 0284.68023) Full Text: DOI
Kfoury, A. J. Translatability of schemas over restricted interpretations. (English) Zbl 0282.68004 J. Comput. Syst. Sci. 8, 387-408 (1974). MSC: 68N01 68Q45 68Q25 68W99 03D99 PDFBibTeX XMLCite \textit{A. J. Kfoury}, J. Comput. Syst. Sci. 8, 387--408 (1974; Zbl 0282.68004) Full Text: DOI
Walljasper, S. J. Left-derivation bounded languages. (English) Zbl 0281.68039 J. Comput. Syst. Sci. 8, 1-7 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. J. Walljasper}, J. Comput. Syst. Sci. 8, 1--7 (1974; Zbl 0281.68039) Full Text: DOI
Hart, Johnson Murdoch Ambiguity and decision problems for local adjunct languages. (English) Zbl 0281.68038 J. Comput. Syst. Sci. 8, 8-21 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. M. Hart}, J. Comput. Syst. Sci. 8, 8--21 (1974; Zbl 0281.68038) Full Text: DOI
Fischer, Patrick C.; Warkentin, John C. Predecessor machines. (English) Zbl 0278.68048 J. Comput. Syst. Sci. 8, 190-219 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. C. Fischer} and \textit{J. C. Warkentin}, J. Comput. Syst. Sci. 8, 190--219 (1974; Zbl 0278.68048) Full Text: DOI
Cremers, A. B.; Mayer, O. On vector languages. (English) Zbl 0277.68043 J. Comput. Syst. Sci. 8, 158-166 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. B. Cremers} and \textit{O. Mayer}, J. Comput. Syst. Sci. 8, 158--166 (1974; Zbl 0277.68043) Full Text: DOI
Igarashi, Yoshihide; Honda, Namio Deterministic multitape automata computations. (English) Zbl 0277.68023 J. Comput. Syst. Sci. 8, 167-189 (1974). MSC: 68Q25 68Q45 03D05 03D10 PDFBibTeX XMLCite \textit{Y. Igarashi} and \textit{N. Honda}, J. Comput. Syst. Sci. 8, 167--189 (1974; Zbl 0277.68023) Full Text: DOI
Bird, Richard On transformations of programs. (English) Zbl 0277.68009 J. Comput. Syst. Sci. 8, 22-35 (1974). MSC: 68N01 68Q25 68Q45 PDFBibTeX XMLCite \textit{R. Bird}, J. Comput. Syst. Sci. 8, 22--35 (1974; Zbl 0277.68009) Full Text: DOI
Guha, Ratan K.; Yeh, Raymond T. On periodicity of sequential machines. (English) Zbl 0276.94019 J. Comput. Syst. Sci. 8, 41-70 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. K. Guha} and \textit{R. T. Yeh}, J. Comput. Syst. Sci. 8, 41--70 (1974; Zbl 0276.94019) Full Text: DOI
Ginsburg, Seymour; Rose, Gene F. The equivalence of stack-counter acceptors and quasi-realtime stack- counter acceptors. (English) Zbl 0275.68017 J. Comput. Syst. Sci. 8, 243-269 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Ginsburg} and \textit{G. F. Rose}, J. Comput. Syst. Sci. 8, 243--269 (1974; Zbl 0275.68017) Full Text: DOI
Ibaraki, Toshihide Classes of discrete optimization problems and their decision problems. (English) Zbl 0274.90027 J. Comput. Syst. Sci. 8, 84-116 (1974). MSC: 90C10 03D05 03B25 PDFBibTeX XMLCite \textit{T. Ibaraki}, J. Comput. Syst. Sci. 8, 84--116 (1974; Zbl 0274.90027) Full Text: DOI
Crestin, J. P. Structure des grammaires d’ambiguite bornee. (French) Zbl 0272.68057 J. Comput. Syst. Sci. 8, 36-40 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. P. Crestin}, J. Comput. Syst. Sci. 8, 36--40 (1974; Zbl 0272.68057) Full Text: DOI