Bollig, Beate; Wegener, Ingo Asymptotically optimal bounds for OBDDs and the solution of some basic OBDD problems. (English) Zbl 0970.68041 J. Comput. Syst. Sci. 61, No. 3, 558-579 (2000). MSC: 68P05 × Cite Format Result Cite Review PDF Full Text: DOI
Takeuchi, Jun-ichi; Abe, Naoki; Amari, Shun-ichi The lob-pass problem. (English) Zbl 0971.68080 J. Comput. Syst. Sci. 61, No. 3, 523-557 (2000). MSC: 68Q32 × Cite Format Result Cite Review PDF Full Text: DOI
Larsen, Kim S. AVL trees with relaxed balance. (English) Zbl 0970.68122 J. Comput. Syst. Sci. 61, No. 3, 508-522 (2000). MSC: 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Eiter, Thomas; Ibaraki, Toshihide; Makino, Kazuhisa On the difference of Horn theories. (English) Zbl 0971.68076 J. Comput. Syst. Sci. 61, No. 3, 478-507 (2000). MSC: 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Cheng, Sheng-Tzong; Chen, Chia-Mei; Tripathi, Satish K. A fault-tolerance model for multiprocessor real-time systems. (English) Zbl 0970.68012 J. Comput. Syst. Sci. 61, No. 3, 457-477 (2000). MSC: 68M15 × Cite Format Result Cite Review PDF Full Text: DOI
Kearns, Michael; Ron, Dana Testing problems with sublearning sample complexity. (English) Zbl 0970.68074 J. Comput. Syst. Sci. 61, No. 3, 428-456 (2000). MSC: 68Q32 × Cite Format Result Cite Review PDF Full Text: DOI
Quaglia, Francesco; Baldoni, Roberto; Ciciani, Bruno On the no-Z-cycle property in distributed executions. (English) Zbl 0970.68010 J. Comput. Syst. Sci. 61, No. 3, 400-427 (2000). MSC: 68M14 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bellare, Mihir; Kilian, Joe; Rogaway, Phillip The security of the cipher block chaining message authentication code. (English) Zbl 0970.68054 J. Comput. Syst. Sci. 61, No. 3, 362-399 (2000). MSC: 68P25 × Cite Format Result Cite Review PDF Full Text: DOI
Ambos-Spies, Klaus; Bentzien, Levke Separating NP-completeness notions under strong hypotheses. (English) Zbl 0971.68064 J. Comput. Syst. Sci. 61, No. 3, 335-361 (2000). MSC: 68Q15 × Cite Format Result Cite Review PDF Full Text: DOI
Paredaens, Jan (ed.) Special issue: 17th ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, Seattle, WA, USA, June 1–3, 1998. (English) Zbl 0968.00051 J. Comput. Syst. Sci. 61, No. 3, 335-581 (2000). MSC: 00B25 68-06 × Cite Format Result Cite Review PDF Full Text: DOI