Ross, Kenneth A. Modular stratification and magic sets for datalog programs with negation. (English) Zbl 0830.68028 J. Assoc. Comput. Mach. 41, No. 6, 1216-1266 (1994). MSC: 68N17 68Q45 PDFBibTeX XMLCite \textit{K. A. Ross}, J. Assoc. Comput. Mach. 41, No. 6, 1216--1266 (1994; Zbl 0830.68028) Full Text: DOI
Rivest, Ronald L.; Schapire, Robert E. Diversity-based inference of finite automata. (English) Zbl 0821.68085 J. Assoc. Comput. Mach. 41, No. 3, 555-589 (1994). MSC: 68Q45 68T05 PDFBibTeX XMLCite \textit{R. L. Rivest} and \textit{R. E. Schapire}, J. Assoc. Comput. Mach. 41, No. 3, 555--589 (1994; Zbl 0821.68085) Full Text: DOI
Hirst, Tirza; Harel, David On the power of bounded concurrency. II: Pushdown automata. (English) Zbl 0822.68067 J. Assoc. Comput. Mach. 41, No. 3, 540-554 (1994). MSC: 68Q45 68Q10 PDFBibTeX XMLCite \textit{T. Hirst} and \textit{D. Harel}, J. Assoc. Comput. Mach. 41, No. 3, 540--554 (1994; Zbl 0822.68067) Full Text: DOI
Drusinsky, Doron; Harel, David On the power of bounded concurrency. I: Finite automata. (English) Zbl 0813.68138 J. Assoc. Comput. Mach. 41, No. 3, 517-539 (1994). MSC: 68Q45 68Q10 PDFBibTeX XMLCite \textit{D. Drusinsky} and \textit{D. Harel}, J. Assoc. Comput. Mach. 41, No. 3, 517--539 (1994; Zbl 0813.68138) Full Text: DOI
Fekete, Alan; Lynch, Nancy; Mansour, Yishay; Spinelli, John The impossibility of implementing reliable communication in the face of crashes. (English) Zbl 0795.68016 J. Assoc. Comput. Mach. 40, No. 5, 1087-1107 (1993). MSC: 68M15 68Q60 68M10 PDFBibTeX XMLCite \textit{A. Fekete} et al., J. Assoc. Comput. Mach. 40, No. 5, 1087--1107 (1993; Zbl 0795.68016) Full Text: DOI
Baeten, J. C. M.; Bergstra, J. A.; Klop, J. W. Decidability of bisimulation equivalence for processes generating context-free languages. (English) Zbl 0801.68102 J. Assoc. Comput. Mach. 40, No. 3, 653-682 (1993). Reviewer: J.J.Meyer MSC: 68Q45 68Q55 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., J. Assoc. Comput. Mach. 40, No. 3, 653--682 (1993; Zbl 0801.68102) Full Text: DOI
Pitt, Leonard; Warmuth, Manfred K. The minimum consistent DFA problem cannot be approximated within any polynomial. (English) Zbl 0774.68084 J. Assoc. Comput. Mach. 40, No. 1, 95-142 (1993). MSC: 68Q45 68Q25 68Q05 PDFBibTeX XMLCite \textit{L. Pitt} and \textit{M. K. Warmuth}, J. Assoc. Comput. Mach. 40, No. 1, 95--142 (1993; Zbl 0774.68084) Full Text: DOI
Gasarch, William I.; Smith, Carl H. Learning via queries. (English) Zbl 0799.68155 J. Assoc. Comput. Mach. 39, No. 3, 649-674 (1992). MSC: 68T05 68Q45 03B25 PDFBibTeX XMLCite \textit{W. I. Gasarch} and \textit{C. H. Smith}, J. Assoc. Comput. Mach. 39, No. 3, 649--674 (1992; Zbl 0799.68155) Full Text: DOI
Dwork, Cynthia; Stockmeyer, Larry Finite state verifiers II: Zero knowledge. (English) Zbl 0799.68100 J. Assoc. Comput. Mach. 39, No. 4, 829-858 (1992). MSC: 68Q15 68Q45 68Q10 68Q05 PDFBibTeX XMLCite \textit{C. Dwork} and \textit{L. Stockmeyer}, J. Assoc. Comput. Mach. 39, No. 4, 829--858 (1992; Zbl 0799.68100) Full Text: DOI
Dwork, Cynthia; Stockmeyer, Larry Finite state verifiers I: The power of interaction. (English) Zbl 0799.68099 J. Assoc. Comput. Mach. 39, No. 4, 800-828 (1992). MSC: 68Q15 68Q45 68Q10 68Q05 PDFBibTeX XMLCite \textit{C. Dwork} and \textit{L. Stockmeyer}, J. Assoc. Comput. Mach. 39, No. 4, 800--828 (1992; Zbl 0799.68099) Full Text: DOI
Alon, Noga; Dewdney, A. K.; Ott, Teunis J. Efficient simulation of finite automata by neural nets. (English) Zbl 0799.68138 J. Assoc. Comput. Mach. 38, No. 2, 495-514 (1991). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{N. Alon} et al., J. Assoc. Comput. Mach. 38, No. 2, 495--514 (1991; Zbl 0799.68138) Full Text: DOI
Condon, Anne Space-bounded probabilistic game automata. (English) Zbl 0799.68095 J. Assoc. Comput. Mach. 38, No. 2, 472-494 (1991). MSC: 68Q15 68Q45 PDFBibTeX XMLCite \textit{A. Condon}, J. Assoc. Comput. Mach. 38, No. 2, 472--494 (1991; Zbl 0799.68095) Full Text: DOI
Halpern, Joseph Y.; Williams, John H.; Wimmers, Edward L. Completeness of rewrite rules and rewrite strategies for FP. (English) Zbl 0698.68030 J. Assoc. Comput. Mach. 37, No. 1, 86-143 (1990). MSC: 68Q65 68Q55 03D03 68N01 68Q45 03B40 PDFBibTeX XMLCite \textit{J. Y. Halpern} et al., J. Assoc. Comput. Mach. 37, No. 1, 86--143 (1990; Zbl 0698.68030) Full Text: DOI
Jaffar, Joxan Minimal and complete word unification. (English) Zbl 0697.68052 J. Assoc. Comput. Mach. 37, No. 1, 47-85 (1990). MSC: 68W30 03D40 08A50 68Q45 PDFBibTeX XMLCite \textit{J. Jaffar}, J. Assoc. Comput. Mach. 37, No. 1, 47--85 (1990; Zbl 0697.68052) Full Text: DOI
Kortelainen, Juha The conjecture of Fliess oncommutative contextfree languages. (English) Zbl 0698.68065 J. Assoc. Comput. Mach. 36, No. 4, 870-872 (1989). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Kortelainen}, J. Assoc. Comput. Mach. 36, No. 4, 870--872 (1989; Zbl 0698.68065) Full Text: DOI
Engelfriet, Joost; Filé, Gilberto Passes, sweeps, and visits in attribute grammars. (English) Zbl 0697.68069 J. Assoc. Comput. Mach. 36, No. 4, 841-869 (1989). MSC: 68Q45 68N99 68Q25 03D05 03D15 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. Filé}, J. Assoc. Comput. Mach. 36, No. 4, 841--869 (1989; Zbl 0697.68069) Full Text: DOI
Allender, Eric W. P-uniform circuit complexity. (English) Zbl 0697.68031 J. Assoc. Comput. Mach. 36, No. 4, 912-928 (1989). MSC: 68Q25 03D15 68Q05 PDFBibTeX XMLCite \textit{E. W. Allender}, J. Assoc. Comput. Mach. 36, No. 4, 912--928 (1989; Zbl 0697.68031) Full Text: DOI
van de Snepscheut, Jan L. A.; Swenker, Johan B. On the design of some systolic algorithms. (English) Zbl 0697.68017 J. Assoc. Comput. Mach. 36, No. 4, 826-840 (1989). MSC: 68N99 68Q80 68N01 68Q60 PDFBibTeX XMLCite \textit{J. L. A. van de Snepscheut} and \textit{J. B. Swenker}, J. Assoc. Comput. Mach. 36, No. 4, 826--840 (1989; Zbl 0697.68017) Full Text: DOI
Dill, Jens M. A counterexample for “A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars”. (English) Zbl 0667.68081 J. Assoc. Comput. Mach. 36, No. 1, 92-96 (1989). MSC: 68Q45 68Q25 68N25 PDFBibTeX XMLCite \textit{J. M. Dill}, J. Assoc. Comput. Mach. 36, No. 1, 92--96 (1989; Zbl 0667.68081) Full Text: DOI
Barrington, David A. Mix; Thérien, Denis Finite monoids and the fine structure of \(NC^ 1\). (English) Zbl 0667.68068 J. Assoc. Comput. Mach. 35, No. 4, 942-952 (1988). Reviewer: D.Krob MSC: 68Q70 68Q25 20M35 68Q45 PDFBibTeX XMLCite \textit{D. A. M. Barrington} and \textit{D. Thérien}, J. Assoc. Comput. Mach. 35, No. 4, 942--952 (1988; Zbl 0667.68068) Full Text: DOI
McNaughton, Robert; Narendran, Paliath; Otto, Friedrich Church-Rosser Thue systems and formal languages. (English) Zbl 0652.68093 J. Assoc. Comput. Mach. 35, No. 2, 324-344 (1988). MSC: 68Q45 03D03 PDFBibTeX XMLCite \textit{R. McNaughton} et al., J. Assoc. Comput. Mach. 35, No. 2, 324--344 (1988; Zbl 0652.68093) Full Text: DOI
Blumer, A.; Blumer, J.; Haussler, D.; McConnell, R.; Ehrenfeucht, A. Complete inverted files for efficient text retrieval and analysis. (English) Zbl 1433.68118 J. Assoc. Comput. Mach. 34, 578-595 (1987). MSC: 68P20 68P05 68Q45 PDFBibTeX XMLCite \textit{A. Blumer} et al., J. Assoc. Comput. Mach. 34, 578--595 (1987; Zbl 1433.68118) Full Text: DOI
Oyamaguchi, Michio The equivalence problem for real-time DPDAs. (English) Zbl 0637.68094 J. Assoc. Comput. Mach. 34, 731-760 (1987). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Oyamaguchi}, J. Assoc. Comput. Mach. 34, 731--760 (1987; Zbl 0637.68094) Full Text: DOI
Hennessy, M. Acceptance trees. (English) Zbl 0633.68074 J. Assoc. Comput. Mach. 32, 896-928 (1985). MSC: 68Q45 05C05 68Q60 PDFBibTeX XMLCite \textit{M. Hennessy}, J. Assoc. Comput. Mach. 32, 896--928 (1985; Zbl 0633.68074) Full Text: DOI
Even, Shimon; Selman, Alan L.; Yacobi, Yacov Hard-core theorems for complexity classes. (English) Zbl 0632.68047 J. Assoc. Comput. Mach. 32, 205-217 (1985). MSC: 68Q25 68Q05 68W99 PDFBibTeX XMLCite \textit{S. Even} et al., J. Assoc. Comput. Mach. 32, 205--217 (1985; Zbl 0632.68047) Full Text: DOI
Culik, Karel II; Harju, Tero The \(\omega\)-sequence equivalence problem for D0L systems is decidable. (English) Zbl 0632.68078 J. Assoc. Comput. Mach. 31, 282-298 (1984). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{K. Culik II} and \textit{T. Harju}, J. Assoc. Comput. Mach. 31, 282--298 (1984; Zbl 0632.68078) Full Text: DOI
Hunt, H. B. III Terminating Turing machine computations and the complexity and/or decidability of correspondence problems, grammars, and program schemes. (English) Zbl 0632.68048 J. Assoc. Comput. Mach. 31, 299-318 (1984). MSC: 68Q25 68Q05 68Q45 68Q60 PDFBibTeX XMLCite \textit{H. B. Hunt III}, J. Assoc. Comput. Mach. 31, 299--318 (1984; Zbl 0632.68048) Full Text: DOI
Krevner, Yael; Yehudai, Amiram An iteration theorem for simple precedence languages. (English) Zbl 0628.68060 J. Assoc. Comput. Mach. 30, 820-833 (1983). MSC: 68Q45 68N20 PDFBibTeX XMLCite \textit{Y. Krevner} and \textit{A. Yehudai}, J. Assoc. Comput. Mach. 30, 820--833 (1983; Zbl 0628.68060) Full Text: DOI
Maurer, H. A.; Salomaa, A.; Wood, D. A supernormal-form theorem for context-free grammars. (English) Zbl 0514.68065 J. Assoc. Comput. Mach. 30, 95-102 (1983). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. A. Maurer} et al., J. Assoc. Comput. Mach. 30, 95--102 (1983; Zbl 0514.68065) Full Text: DOI
Brand, Daniel; Zafiropulo, Pitro On communicating finite-state machines. (English) Zbl 0512.68039 J. Assoc. Comput. Mach. 30, 323-342 (1983). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Brand} and \textit{P. Zafiropulo}, J. Assoc. Comput. Mach. 30, 323--342 (1983; Zbl 0512.68039) Full Text: DOI
Bader, Christopher; Moura, Arnaldo A generalization of Ogden’s lemma. (English) Zbl 0501.68039 J. Assoc. Comput. Mach. 29, 404-407 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Bader} and \textit{A. Moura}, J. Assoc. Comput. Mach. 29, 404--407 (1982; Zbl 0501.68039) Full Text: DOI
Hunt, H. B. III On the decidability of grammar problems. (English) Zbl 0497.68049 J. Assoc. Comput. Mach. 29, 429-447 (1982). MSC: 68Q45 68Q25 68Q05 68N20 03D60 PDFBibTeX XMLCite \textit{H. B. Hunt III}, J. Assoc. Comput. Mach. 29, 429--447 (1982; Zbl 0497.68049) Full Text: DOI
Maurer, H. A.; Salomaa, A.; Wood, D. Dense hierarchies of grammatical families. (English) Zbl 0491.68077 J. Assoc. Comput. Mach. 29, 118-126 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. A. Maurer} et al., J. Assoc. Comput. Mach. 29, 118--126 (1982; Zbl 0491.68077) Full Text: DOI
Ukkonen, Esko The equivalence problem for some non-real-time deterministic pushdown automata. (English) Zbl 0489.68075 J. Assoc. Comput. Mach. 29, 1166-1181 (1982). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{E. Ukkonen}, J. Assoc. Comput. Mach. 29, 1166--1181 (1982; Zbl 0489.68075) Full Text: DOI
Beatty, John C. On the relationship between the LL(1) and LR(1) grammars. (English) Zbl 0489.68073 J. Assoc. Comput. Mach. 29, 1007-1022 (1982). MSC: 68Q45 68N20 PDFBibTeX XMLCite \textit{J. C. Beatty}, J. Assoc. Comput. Mach. 29, 1007--1022 (1982; Zbl 0489.68073) Full Text: DOI
Angluin, Dana Inference of reversible languages. (English) Zbl 0485.68066 J. Assoc. Comput. Mach. 29, 741-765 (1982). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Angluin}, J. Assoc. Comput. Mach. 29, 741--765 (1982; Zbl 0485.68066) Full Text: DOI
Floyd, Robert W.; Ullman, Jeffrey D. The compilation of regular expressions into integrated circuits. (English) Zbl 0485.68047 J. Assoc. Comput. Mach. 29, 603-622 (1982). MSC: 68Q45 94C10 PDFBibTeX XMLCite \textit{R. W. Floyd} and \textit{J. D. Ullman}, J. Assoc. Comput. Mach. 29, 603--622 (1982; Zbl 0485.68047) Full Text: DOI
Book, Ronald V. Confluent and other types of Thue systems. (English) Zbl 0478.68032 J. Assoc. Comput. Mach. 29, 171-182 (1982). MSC: 68Q65 03D03 68Q45 03D40 03B25 PDFBibTeX XMLCite \textit{R. V. Book}, J. Assoc. Comput. Mach. 29, 171--182 (1982; Zbl 0478.68032) Full Text: DOI
Ehrenfeucht, A.; Rozenberg, G.; Ruohonen, K. A morphic representation of complements of recursively enumerable sets. (English) Zbl 0491.68078 J. Assoc. Comput. Mach. 28, 706-714 (1981). MSC: 68Q45 68Q05 03D10 03D25 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., J. Assoc. Comput. Mach. 28, 706--714 (1981; Zbl 0491.68078) Full Text: DOI
Chandra, Ashok K.; Kozen, Dexter C.; Stockmeyer, Larry J. Alternation. (English) Zbl 0473.68043 J. Assoc. Comput. Mach. 28, 114-133 (1981). MSC: 68Q25 03D05 03D10 03D20 68Q45 68Q05 PDFBibTeX XMLCite \textit{A. K. Chandra} et al., J. Assoc. Comput. Mach. 28, 114--133 (1981; Zbl 0473.68043) Full Text: DOI
Jazayeri, Mehdi A simpler construction for showing the intrinsically exponential complexity of the circularity problem for attribute grammars. (English) Zbl 0468.68056 J. Assoc. Comput. Mach. 28, 715-720 (1981). MSC: 68Q25 68Q05 68Q45 PDFBibTeX XMLCite \textit{M. Jazayeri}, J. Assoc. Comput. Mach. 28, 715--720 (1981; Zbl 0468.68056) Full Text: DOI
Engelfriet, J.; Rozenberg, G. Fixed point languages, equality languages, and representation of recursively enumerable languages. (English) Zbl 0475.68047 J. Assoc. Comput. Mach. 27, 499-518 (1980). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{G. Rozenberg}, J. Assoc. Comput. Mach. 27, 499--518 (1980; Zbl 0475.68047) Full Text: DOI Link
Abramson, Fred G.; Breitbart, Yuri; Lewis, Forbes D. Complex properties of grammars. (English) Zbl 0475.68046 J. Assoc. Comput. Mach. 27, 484-498 (1980). MSC: 68Q45 68Q25 94C10 PDFBibTeX XMLCite \textit{F. G. Abramson} et al., J. Assoc. Comput. Mach. 27, 484--498 (1980; Zbl 0475.68046) Full Text: DOI
Ehrenfeucht, A.; Rozenberg, G. The sequence equivalence problem is decidable for OS systems. (English) Zbl 0471.68047 J. Assoc. Comput. Mach. 27, 656-663 (1980). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, J. Assoc. Comput. Mach. 27, 656--663 (1980; Zbl 0471.68047) Full Text: DOI
Greibach, S. A.; Friedman, E. P. Superdeterministic PDAs: A subcase with a decidable inclusion problem. (English) Zbl 0462.68030 J. Assoc. Comput. Mach. 27, 675-700 (1980). MSC: 68Q05 68Q45 68Q25 PDFBibTeX XMLCite \textit{S. A. Greibach} and \textit{E. P. Friedman}, J. Assoc. Comput. Mach. 27, 675--700 (1980; Zbl 0462.68030) Full Text: DOI
Ladner, Richard E.; Fischer, Michael J. Parallel prefix computation. (English) Zbl 0445.68066 J. Assoc. Comput. Mach. 27, 831-838 (1980). MSC: 94C10 68Q45 68Q25 PDFBibTeX XMLCite \textit{R. E. Ladner} and \textit{M. J. Fischer}, J. Assoc. Comput. Mach. 27, 831--838 (1980; Zbl 0445.68066) Full Text: DOI
Engelfriet, Joost; Schmidt, Erik Meineche; van Leeuwen, Jan Stack machines and classes of nonnested macro languages. (English) Zbl 0428.68087 J. Assoc. Comput. Mach. 27, 96-117 (1980). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Assoc. Comput. Mach. 27, 96--117 (1980; Zbl 0428.68087) Full Text: DOI Link
Henderson, Peter B.; Zalcstein, Yechezkel Synchronization problems solvable by generalized PV systems. (English) Zbl 0426.68040 J. Assoc. Comput. Mach. 27, 60-71 (1980). MSC: 68Q85 68Q60 68Q45 PDFBibTeX XMLCite \textit{P. B. Henderson} and \textit{Y. Zalcstein}, J. Assoc. Comput. Mach. 27, 60--71 (1980; Zbl 0426.68040) Full Text: DOI
Savitch, Walter J.; Stimson, Michael J. Time bounded random access machines with parallel processing. (English) Zbl 0398.68014 J. Assoc. Comput. Mach. 26, 103-118 (1979). MSC: 68Q25 68N25 68Q45 PDFBibTeX XMLCite \textit{W. J. Savitch} and \textit{M. J. Stimson}, J. Assoc. Comput. Mach. 26, 103--118 (1979; Zbl 0398.68014) Full Text: DOI
Čulik, Karel II A purely homomorphic characterization of recursively enumerable sets. (English) Zbl 0395.68076 J. Assoc. Comput. Mach. 26, 345-350 (1979). MSC: 68Q45 03D25 PDFBibTeX XMLCite \textit{K. Čulik II}, J. Assoc. Comput. Mach. 26, 345--350 (1979; Zbl 0395.68076) Full Text: DOI
Crespi-Reghizzi, S.; Guida, G.; Mandrioli, D. Noncounting context-free languages. (English) Zbl 0388.68073 J. Assoc. Comput. Mach. 25, 571-580 (1978). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Crespi-Reghizzi} et al., J. Assoc. Comput. Mach. 25, 571--580 (1978; Zbl 0388.68073) Full Text: DOI
Hunt, H. B. III; Szymanski, T. G. Corrigendum to “Lower bounds and reductions between grammar problems”. (English) Zbl 0388.68064 J. Assoc. Comput. Mach. 25, 687-688 (1978). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. B. Hunt III} and \textit{T. G. Szymanski}, J. Assoc. Comput. Mach. 25, 687--688 (1978; Zbl 0388.68064) Full Text: DOI
Sudborough, I. H. On the tape complexity of deterministic context-free languages. (English) Zbl 0379.68054 J. Assoc. Comput. Mach. 25, 405-414 (1978). MSC: 68Q45 68Q25 03D10 PDFBibTeX XMLCite \textit{I. H. Sudborough}, J. Assoc. Comput. Mach. 25, 405--414 (1978; Zbl 0379.68054) Full Text: DOI
Hoare, C. A. R. Some properties of predicate transformers. (English) Zbl 0379.68016 J. Assoc. Comput. Mach. 25, 461-480 (1978). MSC: 68N01 68Q45 PDFBibTeX XMLCite \textit{C. A. R. Hoare}, J. Assoc. Comput. Mach. 25, 461--480 (1978; Zbl 0379.68016) Full Text: DOI
Yao, Andrew C.; Rivest, Ronald L. \(k+1\) heads are better than \(k\). (English) Zbl 0372.68017 J. Assoc. Comput. Mach. 25, 337-340 (1978). MSC: 68Q45 PDFBibTeX XMLCite \textit{A. C. Yao} and \textit{R. L. Rivest}, J. Assoc. Comput. Mach. 25, 337--340 (1978; Zbl 0372.68017) Full Text: DOI
Omahen, K.; Marathe, V. Analysis and applications of the delay cycle for the M/M/c queueing system. (English) Zbl 0372.68016 J. Assoc. Comput. Mach. 25, 283-303 (1978). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{K. Omahen} and \textit{V. Marathe}, J. Assoc. Comput. Mach. 25, 283--303 (1978; Zbl 0372.68016) Full Text: DOI
Baudet, Gerard M. Asynchronous iterative methods for multiprocessors. (English) Zbl 0372.68015 J. Assoc. Comput. Mach. 25, 226-244 (1978). MSC: 68Q45 68W99 68Q25 15A06 PDFBibTeX XMLCite \textit{G. M. Baudet}, J. Assoc. Comput. Mach. 25, 226--244 (1978; Zbl 0372.68015) Full Text: DOI
Jones, Neil D.; Muchnick, Steven S. The complexity of finite memory programs with recursion. (English) Zbl 0371.68017 J. Assoc. Comput. Mach. 25, 312-321 (1978). MSC: 68Q25 68N01 68Q45 PDFBibTeX XMLCite \textit{N. D. Jones} and \textit{S. S. Muchnick}, J. Assoc. Comput. Mach. 25, 312--321 (1978; Zbl 0371.68017) Full Text: DOI
Seiferas, Joel I.; Fischer, Michael J.; Meyer, Albert R. Separating nondeterministic time complexity classes. (English) Zbl 0366.68038 J. Assoc. Comput. Mach. 25, 146-167 (1978). MSC: 68Q25 68Q45 03D10 PDFBibTeX XMLCite \textit{J. I. Seiferas} et al., J. Assoc. Comput. Mach. 25, 146--167 (1978; Zbl 0366.68038) Full Text: DOI
Attar, R.; Choueka, Y.; Dershowitz, N.; Fraenkel, Aviezri S. KEDMA-Linguistic tools for retrieval systems. (English) Zbl 0365.68084 J. Assoc. Comput. Mach. 25, 52-66 (1978). MSC: 68P20 68Q45 PDFBibTeX XMLCite \textit{R. Attar} et al., J. Assoc. Comput. Mach. 25, 52--66 (1978; Zbl 0365.68084) Full Text: DOI
Hunt, Harry B. III; Szymanski, Thomas G. Lower bounds and reductions between grammar problems. (English) Zbl 0365.68073 J. Assoc. Comput. Mach. 25, 32-51 (1978). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{H. B. Hunt III} and \textit{T. G. Szymanski}, J. Assoc. Comput. Mach. 25, 32--51 (1978; Zbl 0365.68073) Full Text: DOI
Ibarra, Oscar H. Reversal-bounded multicounter machines and their decision problems. (English) Zbl 0365.68059 J. Assoc. Comput. Mach. 25, 116-133 (1978). MSC: 68Q45 03D10 68Q25 PDFBibTeX XMLCite \textit{O. H. Ibarra}, J. Assoc. Comput. Mach. 25, 116--133 (1978; Zbl 0365.68059) Full Text: DOI
Galil, Zvi; Seiferas, Joel A linear-time on-line recognition algorithm for ”palstar”. (English) Zbl 0365.68058 J. Assoc. Comput. Mach. 25, 102-111 (1978). MSC: 68Q45 68Q25 68W99 03D10 PDFBibTeX XMLCite \textit{Z. Galil} and \textit{J. Seiferas}, J. Assoc. Comput. Mach. 25, 102--111 (1978; Zbl 0365.68058) Full Text: DOI
Book, Ronald V. Simple representations of certain classes of languages. (English) Zbl 0364.68073 J. Assoc. Comput. Mach. 25, 23-31 (1978). MSC: 68Q45 03D10 PDFBibTeX XMLCite \textit{R. V. Book}, J. Assoc. Comput. Mach. 25, 23--31 (1978; Zbl 0364.68073) Full Text: DOI
Schnorr, C. P. Satisfiability is quasilinear complete in NQL. (English) Zbl 0364.68056 J. Assoc. Comput. Mach. 25, 136-145 (1978). MSC: 68Q25 68Q45 03D10 94C10 PDFBibTeX XMLCite \textit{C. P. Schnorr}, J. Assoc. Comput. Mach. 25, 136--145 (1978; Zbl 0364.68056) Full Text: DOI Link
Gentleman, W. Morven Some complexity results for matrix computations on parallel processors. (English) Zbl 0364.68055 J. Assoc. Comput. Mach. 25, 112-115 (1978). MSC: 68Q25 68Q45 PDFBibTeX XMLCite \textit{W. M. Gentleman}, J. Assoc. Comput. Mach. 25, 112--115 (1978; Zbl 0364.68055) Full Text: DOI
Lynch, Nancy Log space recognition and translation of parenthesis languages. (English) Zbl 0401.68051 J. Assoc. Comput. Mach. 24, 583-590 (1977). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{N. Lynch}, J. Assoc. Comput. Mach. 24, 583--590 (1977; Zbl 0401.68051) Full Text: DOI
Davis, Philip J. Proof, completeness, transcendentals, and sampling. (English) Zbl 0359.68105 J. Assoc. Comput. Mach. 24, 298-310 (1977). MSC: 68T15 68Q45 11J81 68N01 62D05 PDFBibTeX XMLCite \textit{P. J. Davis}, J. Assoc. Comput. Mach. 24, 298--310 (1977; Zbl 0359.68105) Full Text: DOI
Hunt, Harry B. III; Rosenkrantz, Daniel J. On equivalence and containment problems for formal languages. (English) Zbl 0359.68087 J. Assoc. Comput. Mach. 24, 387-396 (1977). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. B. Hunt III} and \textit{D. J. Rosenkrantz}, J. Assoc. Comput. Mach. 24, 387--396 (1977; Zbl 0359.68087) Full Text: DOI
Lipton, Richard J.; Zalcstein, Yechezkel Word problems solvable in logspace. (English) Zbl 0359.68049 J. Assoc. Comput. Mach. 24, 522-526 (1977). MSC: 68Q25 20F10 03D40 PDFBibTeX XMLCite \textit{R. J. Lipton} and \textit{Y. Zalcstein}, J. Assoc. Comput. Mach. 24, 522--526 (1977; Zbl 0359.68049) Full Text: DOI
Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B. Initial algebra semantics and continuous algebras. (English) Zbl 0359.68018 J. Assoc. Comput. Mach. 24, 68-95 (1977). MSC: 68N01 68Q45 PDFBibTeX XMLCite \textit{J. A. Goguen} et al., J. Assoc. Comput. Mach. 24, 68--95 (1977; Zbl 0359.68018) Full Text: DOI
Hopcroft, John; Paul, Wolfgang; Valiant, Leslie On time versus space. (English) Zbl 0358.68082 J. Assoc. Comput. Mach. 24, 332-337 (1977). MSC: 68Q25 68Q45 PDFBibTeX XMLCite \textit{J. Hopcroft} et al., J. Assoc. Comput. Mach. 24, 332--337 (1977; Zbl 0358.68082) Full Text: DOI
Hwang, K.; Yao, S. B. Optimal batched searching of tree structured files in multiprocessor computer systems. (English) Zbl 0358.68048 J. Assoc. Comput. Mach. 24, 441-454 (1977). MSC: 68N01 68P20 68Q45 68W99 PDFBibTeX XMLCite \textit{K. Hwang} and \textit{S. B. Yao}, J. Assoc. Comput. Mach. 24, 441--454 (1977; Zbl 0358.68048) Full Text: DOI
Chandy, K. Mani; Howard, John H. jun.; Towsley, Donald F. Product form and local balance in queueing networks. (English) Zbl 0356.68074 J. Assoc. Comput. Mach. 24, 250-263 (1977). MSC: 68Q45 60K25 PDFBibTeX XMLCite \textit{K. M. Chandy} et al., J. Assoc. Comput. Mach. 24, 250--263 (1977; Zbl 0356.68074) Full Text: DOI
Brandwajn, Alexandre A queueing model of multiprogrammed computer systems under full load conditions. (English) Zbl 0356.68073 J. Assoc. Comput. Mach. 24, 222-240 (1977). MSC: 68Q45 68N01 60K25 PDFBibTeX XMLCite \textit{A. Brandwajn}, J. Assoc. Comput. Mach. 24, 222--240 (1977; Zbl 0356.68073) Full Text: DOI
Hofri, Micha On certain output-buffer management techniques - a stochastic model. (English) Zbl 0356.68072 J. Assoc. Comput. Mach. 24, 241-249 (1977). MSC: 68Q45 68N01 68U20 60K25 PDFBibTeX XMLCite \textit{M. Hofri}, J. Assoc. Comput. Mach. 24, 241--249 (1977; Zbl 0356.68072) Full Text: DOI
Hehner, Eric C. R. Information content of programs and operation encoding. (English) Zbl 0356.68067 J. Assoc. Comput. Mach. 24, 290-297 (1977). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{E. C. R. Hehner}, J. Assoc. Comput. Mach. 24, 290--297 (1977; Zbl 0356.68067) Full Text: DOI
Horvath, Edward C.; Lam, Shui; Sethi, Ravi A level algorithm for preemptive scheduling. (English) Zbl 0354.90044 J. Assoc. Comput. Mach. 24, 32-43 (1977). MSC: 90B35 68Q45 PDFBibTeX XMLCite \textit{E. C. Horvath} et al., J. Assoc. Comput. Mach. 24, 32--43 (1977; Zbl 0354.90044) Full Text: DOI
Wilhelm, Neil C. A general model for the performance of disk systems. (English) Zbl 0341.68043 J. Assoc. Comput. Mach. 24, 14-31 (1977). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{N. C. Wilhelm}, J. Assoc. Comput. Mach. 24, 14--31 (1977; Zbl 0341.68043) Full Text: DOI
Bruno, John L. Sequencing jobs with stochastic task structures on a single machine. (English) Zbl 0366.90075 J. Assoc. Comput. Mach. 23, 655-664 (1976). MSC: 90B35 68Q45 60K25 60J10 PDFBibTeX XMLCite \textit{J. L. Bruno}, J. Assoc. Comput. Mach. 23, 655--664 (1976; Zbl 0366.90075) Full Text: DOI
Mickunas, M. D.; Lancaster, R. L.; Schneider, V. B. Transforming LR(k) grammars to LR(1), SLR(1), and (1,1) bounded right- context grammars. (English) Zbl 0359.68098 J. Assoc. Comput. Mach. 23, 511-533 (1976). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{M. D. Mickunas} et al., J. Assoc. Comput. Mach. 23, 511--533 (1976; Zbl 0359.68098) Full Text: DOI
Sahni, Sartaj; Gonzalez, Teofilo P-complete approximation problems. (English) Zbl 0348.90152 J. Assoc. Comput. Mach. 23, 555-565 (1976). MSC: 90C35 68Q25 68Q45 68N01 90C10 90B10 90C30 PDFBibTeX XMLCite \textit{S. Sahni} and \textit{T. Gonzalez}, J. Assoc. Comput. Mach. 23, 555--565 (1976; Zbl 0348.90152) Full Text: DOI
Gonzalez, Teofilo; Sahni, Sartaj Open shop scheduling to minimize finish time. (English) Zbl 0343.68031 J. Assoc. Comput. Mach. 23, 665-679 (1976). MSC: 68Q45 68W99 68Q25 PDFBibTeX XMLCite \textit{T. Gonzalez} and \textit{S. Sahni}, J. Assoc. Comput. Mach. 23, 665--679 (1976; Zbl 0343.68031) Full Text: DOI
van Emden, M. H.; Kowalski, R. A. The semantics of predicate logic as a programming language. (English) Zbl 0339.68004 J. Assoc. Comput. Mach. 23, 733-742 (1976). MSC: 68N01 68Q45 68T15 68T10 03B10 PDFBibTeX XMLCite \textit{M. H. van Emden} and \textit{R. A. Kowalski}, J. Assoc. Comput. Mach. 23, 733--742 (1976; Zbl 0339.68004) Full Text: DOI
Garey, M. R.; Johnson, D. S. Scheduling tasks with nonuniform deadlines on two processors. (English) Zbl 0338.68048 J. Assoc. Comput. Mach. 23, 461-467 (1976). MSC: 68Q45 68N01 68W99 90B35 PDFBibTeX XMLCite \textit{M. R. Garey} and \textit{D. S. Johnson}, J. Assoc. Comput. Mach. 23, 461--467 (1976; Zbl 0338.68048) Full Text: DOI
Yao, Andrew Chi-Chih; Yao, Foong Frances Lower bounds on merging networks. (English) Zbl 0335.68034 J. Assoc. Comput. Mach. 23, 566-571 (1976). MSC: 68Q25 68W99 68Q45 94C10 PDFBibTeX XMLCite \textit{A. C. C. Yao} and \textit{F. F. Yao}, J. Assoc. Comput. Mach. 23, 566--571 (1976; Zbl 0335.68034) Full Text: DOI Link
Bruno, John; Sethi, Ravi Code generation for a one-register machine. (English) Zbl 0335.68020 J. Assoc. Comput. Mach. 23, 502-510 (1976). MSC: 68N01 68W99 68Q45 PDFBibTeX XMLCite \textit{J. Bruno} and \textit{R. Sethi}, J. Assoc. Comput. Mach. 23, 502--510 (1976; Zbl 0335.68020) Full Text: DOI
Ginsburg, Seymour; Lynch, Nancy Size complexity in context-free grammar forms. (English) Zbl 0333.68057 J. Assoc. Comput. Mach. 23, 582-598 (1976). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{S. Ginsburg} and \textit{N. Lynch}, J. Assoc. Comput. Mach. 23, 582--598 (1976; Zbl 0333.68057) Full Text: DOI
Rosberg, Z.; Adiri, I. Multilevel queues with external priorities. (English) Zbl 0333.68043 J. Assoc. Comput. Mach. 23, 680-690 (1976). MSC: 68Q45 60K25 PDFBibTeX XMLCite \textit{Z. Rosberg} and \textit{I. Adiri}, J. Assoc. Comput. Mach. 23, 680--690 (1976; Zbl 0333.68043) Full Text: DOI
Lipton, R. J.; Eisenstat, S. C.; DeMillo, R. A. Space and time hierarchies for classes of control structures and data structures. (English) Zbl 0333.68024 J. Assoc. Comput. Mach. 23, 720-732 (1976). MSC: 68N01 68W99 68W30 68Q45 68Q25 PDFBibTeX XMLCite \textit{R. J. Lipton} et al., J. Assoc. Comput. Mach. 23, 720--732 (1976; Zbl 0333.68024) Full Text: DOI
Fraser, Donald Array permutation by index-digit permutation. (English) Zbl 0332.65061 J. Assoc. Comput. Mach. 23, 298-309 (1976). MSC: 65R20 65T40 68W99 68Q45 42A38 42-04 05-XX PDFBibTeX XMLCite \textit{D. Fraser}, J. Assoc. Comput. Mach. 23, 298--309 (1976; Zbl 0332.65061) Full Text: DOI
Horowitz, Ellis; Sahni, Sartaj Exact and approximate algorithms for scheduling nonidentical processors. (English) Zbl 0329.68041 J. Assoc. Comput. Mach. 23, 317-327 (1976). MSC: 68W99 68Q45 68N01 68Q25 PDFBibTeX XMLCite \textit{E. Horowitz} and \textit{S. Sahni}, J. Assoc. Comput. Mach. 23, 317--327 (1976; Zbl 0329.68041) Full Text: DOI
Konheim, Alan G.; Reiser, Martin A queueing model with finite waiting room and blocking. (English) Zbl 0327.68059 J. Assoc. Comput. Mach. 23, 328-341 (1976). MSC: 68Q45 68N01 68W99 PDFBibTeX XMLCite \textit{A. G. Konheim} and \textit{M. Reiser}, J. Assoc. Comput. Mach. 23, 328--341 (1976; Zbl 0327.68059) Full Text: DOI
Sahni, Sartaj K. Algorithms for scheduling independent tasks. (English) Zbl 0326.68024 J. Assoc. Comput. Mach. 23, 116-127 (1976). MSC: 68W99 68Q45 68Q25 90B35 PDFBibTeX XMLCite \textit{S. K. Sahni}, J. Assoc. Comput. Mach. 23, 116--127 (1976; Zbl 0326.68024) Full Text: DOI
Mickunas, M. Dennis On the complete covering problem for LR(k) grammars. (English) Zbl 0324.68044 J. Assoc. Comput. Mach. 23, 17-30 (1976). MSC: 68Q45 68N01 PDFBibTeX XMLCite \textit{M. D. Mickunas}, J. Assoc. Comput. Mach. 23, 17--30 (1976; Zbl 0324.68044) Full Text: DOI
Price, Thomas G. A note on the effect of the central processor service time distribution on processor utilization in multiprogrammed computer systems. (English) Zbl 0324.68034 J. Assoc. Comput. Mach. 23, 342-346 (1976). MSC: 68Q45 68W99 68N01 PDFBibTeX XMLCite \textit{T. G. Price}, J. Assoc. Comput. Mach. 23, 342--346 (1976; Zbl 0324.68034) Full Text: DOI
Feldstein, Alan; Goodman, Richard Convergence estimates for the distribution of trailing digits. (English) Zbl 0324.65019 J. Assoc. Comput. Mach. 23, 287-297 (1976). MSC: 65G50 68W99 68Q45 65C10 PDFBibTeX XMLCite \textit{A. Feldstein} and \textit{R. Goodman}, J. Assoc. Comput. Mach. 23, 287--297 (1976; Zbl 0324.65019) Full Text: DOI
Cody, R. A.; Coffman, E. G. jun. Record allocation for minimizing expected retrieval costs on drum-like storage devices. (English) Zbl 0315.68052 J. Assoc. Comput. Mach. 23, 103-115 (1976). MSC: 68Q45 68N01 68P20 68Q25 PDFBibTeX XMLCite \textit{R. A. Cody} and \textit{E. G. Coffman jun.}, J. Assoc. Comput. Mach. 23, 103--115 (1976; Zbl 0315.68052) Full Text: DOI
Fagin, Ronald; Easton, Malcolm C. The independence of miss ratio on page size. (English) Zbl 0315.68049 J. Assoc. Comput. Mach. 23, 128-146 (1976). MSC: 68Q45 68N01 68W99 PDFBibTeX XMLCite \textit{R. Fagin} and \textit{M. C. Easton}, J. Assoc. Comput. Mach. 23, 128--146 (1976; Zbl 0315.68049) Full Text: DOI
Potier, D.; Gelenbe, E.; Lenfant, J. Adaptive allocation of central processing unit quanta. (English) Zbl 0315.68048 J. Assoc. Comput. Mach. 23, 97-102 (1976). MSC: 68Q45 68W99 PDFBibTeX XMLCite \textit{D. Potier} et al., J. Assoc. Comput. Mach. 23, 97--102 (1976; Zbl 0315.68048) Full Text: DOI