Torán, Jacobo Complexity classes defined by counting quantifiers. (English) Zbl 0799.68080 J. Assoc. Comput. Mach. 38, No. 3, 753-774 (1991). MSC: 68Q15 × Cite Format Result Cite Review PDF Full Text: DOI
Özveren, Cüneyt M.; Willsky, Alan S.; Antsaklis, Panos J. Stability and stabilizability of discrete event dynamic systems. (English) Zbl 0812.93002 J. Assoc. Comput. Mach. 38, No. 3, 730-752 (1991). MSC: 93A10 93A13 93B40 93D15 93D05 93B25 × Cite Format Result Cite Review PDF Full Text: DOI
Goldreich, Oded; Micali, Silvio; Wigderson, Avi Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. (English) Zbl 0799.68101 J. Assoc. Comput. Mach. 38, No. 3, 691-729 (1991). MSC: 68Q15 68P25 68R10 × Cite Format Result Cite Review PDF Full Text: DOI Backlinks: MO
Ross, Keith W.; Yao, David D. Optimal load balancing and scheduling in a distributed computer system. (English) Zbl 0799.68031 J. Assoc. Comput. Mach. 38, No. 3, 676-690 (1991). MSC: 68M20 × Cite Format Result Cite Review PDF Full Text: DOI
Crochemore, Maxime; Perrin, Dominique Two-way string-matching. (English) Zbl 0808.68063 J. Assoc. Comput. Mach. 38, No. 3, 651-675 (1991). MSC: 68Q25 68W10 68T10 68U15 × Cite Format Result Cite Review PDF Full Text: DOI
Van Gelder, Allen; Ross, Kenneth A.; Schlipf, John S. The well-founded semantics for general logic programs. (English) Zbl 0799.68045 J. Assoc. Comput. Mach. 38, No. 3, 620-650 (1991). MSC: 68N17 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Marek, Wiktor; Truszczynski, Miroslaw Autoepistemic logic. (English) Zbl 0799.68176 J. Assoc. Comput. Mach. 38, No. 3, 588-619 (1991). MSC: 68T27 68N17 03B45 68T15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Hsiang, Jieh; Rusinowitch, Michaël Proving refutational completeness of theorem-proving strategies: The transfinite semantic tree method. (English) Zbl 0799.68170 J. Assoc. Comput. Mach. 38, No. 3, 559-587 (1991). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Imielinski, Tomasz Abstraction in query processing. (English) Zbl 0799.68072 J. Assoc. Comput. Mach. 38, No. 3, 534-558 (1991). MSC: 68P20 68T30 68T99 × Cite Format Result Cite Review PDF Full Text: DOI
Atallah, Mikhail J.; Chen, Danny Z.; Wagener, Hubert An optimal parallel algorithm for the visibility of a simple polygon from a point. (English) Zbl 0942.68741 J. Assoc. Comput. Mach. 38, No. 3, 516-533 (1991). MSC: 68U05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI Link