Jain, Sanjay; Smith, Carl; Wiehagen, Rolf Robust learning is rich. (English) Zbl 0992.68176 J. Comput. Syst. Sci. 62, No. 1, 178-212 (2001). MSC: 68T05 × Cite Format Result Cite Review PDF Full Text: DOI Link
Cole, Richard J.; Maggs, Bruce M.; Sitaraman, Ramesh K. On the benefit of supporting virtual channels in wormhole routers. (English) Zbl 0990.68189 J. Comput. Syst. Sci. 62, No. 1, 152-177 (2001). MSC: 68W05 68M07 × Cite Format Result Cite Review PDF Full Text: DOI Link
Goldman, Sally A.; Kwek, Stephen S.; Scott, Stephen D. Agnostic learning of geometric patterns. (English) Zbl 0992.68175 J. Comput. Syst. Sci. 62, No. 1, 123-131 (2001). MSC: 68T05 68T10 × Cite Format Result Cite Review PDF Full Text: DOI Link
Philippou, Anna; Walker, David A process-calculus analysis of concurrent operations on B-trees. (English) Zbl 0990.68093 J. Comput. Syst. Sci. 62, No. 1, 73-122 (2001). MSC: 68Q85 68P05 × Cite Format Result Cite Review PDF Full Text: DOI
Liberatore, Paolo; Schaerf, Marco Belief revision and update: Complexity of model checking. (English) Zbl 0990.68108 J. Comput. Syst. Sci. 62, No. 1, 41-72 (2001). MSC: 68T01 × Cite Format Result Cite Review PDF Full Text: DOI
Giannotti, Fosca; Pedreschi, Dino; Zaniolo, Carlo Semantics and expressive power of nondeterministic constructs in deductive databases. (English) Zbl 0990.68065 J. Comput. Syst. Sci. 62, No. 1, 15-42 (2001). MSC: 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Ghilezan, Silvia Full intersection types and topologies in lambda calculus. (English) Zbl 0990.68033 J. Comput. Syst. Sci. 62, No. 1, 1-14 (2001). MSC: 68N18 × Cite Format Result Cite Review PDF Full Text: DOI