Goldberg, Leslie Ann Listing graphs that satisfy first-order sentences. (English) Zbl 0921.03041 J. Comput. Syst. Sci. 49, No. 2, 408-424 (1994). MSC: 03C13 68Q25 68R10 PDFBibTeX XMLCite \textit{L. A. Goldberg}, J. Comput. Syst. Sci. 49, No. 2, 408--424 (1994; Zbl 0921.03041) Full Text: DOI
Sugihara, Kokichi Robust gift wrapping for the three-dimensional convex hull. (English) Zbl 0809.65149 J. Comput. Syst. Sci. 49, No. 2, 391-407 (1994). Reviewer: H.Guggenheimer (West Hempstead) MSC: 65D18 68U05 52A15 PDFBibTeX XMLCite \textit{K. Sugihara}, J. Comput. Syst. Sci. 49, No. 2, 391--407 (1994; Zbl 0809.65149) Full Text: DOI
Obradović, Zoran; Parberry, Ian Learning with discrete multivalued neurons. (English) Zbl 0941.68674 J. Comput. Syst. Sci. 49, No. 2, 375-390 (1994). MSC: 68T05 PDFBibTeX XMLCite \textit{Z. Obradović} and \textit{I. Parberry}, J. Comput. Syst. Sci. 49, No. 2, 375--390 (1994; Zbl 0941.68674) Full Text: DOI
Salomaa, Kai; Yu, Sheng Measures of nondeterminism for pushdown automata. (English) Zbl 0822.68070 J. Comput. Syst. Sci. 49, No. 2, 362-374 (1994). MSC: 68Q45 PDFBibTeX XMLCite \textit{K. Salomaa} and \textit{S. Yu}, J. Comput. Syst. Sci. 49, No. 2, 362--374 (1994; Zbl 0822.68070) Full Text: DOI
You, Jia-Huai; Yuan, Li Yan A three-valued semantics for deductive databases and logic programs. (English) Zbl 0821.68080 J. Comput. Syst. Sci. 49, No. 2, 334-361 (1994). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{J.-H. You} and \textit{L. Y. Yuan}, J. Comput. Syst. Sci. 49, No. 2, 334--361 (1994; Zbl 0821.68080) Full Text: DOI
Kantabutra, Vitit A linear-time near-optimum-length triangulation algorithm for convex polygons. (English) Zbl 0941.68777 J. Comput. Syst. Sci. 49, No. 2, 325-333 (1994). MSC: 68U05 68Q25 52A10 PDFBibTeX XMLCite \textit{V. Kantabutra}, J. Comput. Syst. Sci. 49, No. 2, 325--333 (1994; Zbl 0941.68777) Full Text: DOI
Kozen, Dexter; Palsberg, Jens; Schwartzbach, Michael I. Efficient inference of partial types. (English) Zbl 0823.68011 J. Comput. Syst. Sci. 49, No. 2, 306-324 (1994). MSC: 68N01 03B40 PDFBibTeX XMLCite \textit{D. Kozen} et al., J. Comput. Syst. Sci. 49, No. 2, 306--324 (1994; Zbl 0823.68011) Full Text: DOI
Engelfriet, Joost; Vogler, Heiko The translation power of top-down tree-to-graph transducers. (English) Zbl 0821.68078 J. Comput. Syst. Sci. 49, No. 2, 258-305 (1994). MSC: 68Q42 68R10 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, J. Comput. Syst. Sci. 49, No. 2, 258--305 (1994; Zbl 0821.68078) Full Text: DOI
Karchmer, Mauricio; Newman, Ilan; Saks, Mike; Wigderson, Avi Non-deterministic communication complexity with few witnesses. (English) Zbl 0821.68067 J. Comput. Syst. Sci. 49, No. 2, 247-257 (1994). MSC: 68Q25 68Q15 PDFBibTeX XMLCite \textit{M. Karchmer} et al., J. Comput. Syst. Sci. 49, No. 2, 247--257 (1994; Zbl 0821.68067) Full Text: DOI
Kaminski, Michael A branching time logic with past operators. (English) Zbl 0821.68055 J. Comput. Syst. Sci. 49, No. 2, 223-246 (1994). MSC: 68Q10 68Q55 68Q45 PDFBibTeX XMLCite \textit{M. Kaminski}, J. Comput. Syst. Sci. 49, No. 2, 223--246 (1994; Zbl 0821.68055) Full Text: DOI
Amir, Amihood; Farach, Martin; Galil, Zvi; Giancarlo, Raffaele; Park, Kunsoo Dynamic dictionary matching. (English) Zbl 0942.68783 J. Comput. Syst. Sci. 49, No. 2, 208-222 (1994). MSC: 68W05 68Q25 PDFBibTeX XMLCite \textit{A. Amir} et al., J. Comput. Syst. Sci. 49, No. 2, 208--222 (1994; Zbl 0942.68783) Full Text: DOI
Krishnakumar, Narayanan On computing serial dependency relations. (English) Zbl 0942.68554 J. Comput. Syst. Sci. 49, No. 2, 175-188 (1994). MSC: 68P15 PDFBibTeX XMLCite \textit{N. Krishnakumar}, J. Comput. Syst. Sci. 49, No. 2, 175--188 (1994; Zbl 0942.68554) Full Text: DOI
Nishida, Taishin; Kobuchi, Youichi Invariant sets for substitution. (English) Zbl 0821.68101 J. Comput. Syst. Sci. 49, No. 2, 168-174 (1994). MSC: 68R15 03E20 PDFBibTeX XMLCite \textit{T. Nishida} and \textit{Y. Kobuchi}, J. Comput. Syst. Sci. 49, No. 2, 168--174 (1994; Zbl 0821.68101) Full Text: DOI
Nisan, Noam; Wigderson, Avi Hardness vs randomness. (English) Zbl 0821.68057 J. Comput. Syst. Sci. 49, No. 2, 149-167 (1994). MSC: 68Q15 65C10 PDFBibTeX XMLCite \textit{N. Nisan} and \textit{A. Wigderson}, J. Comput. Syst. Sci. 49, No. 2, 149--167 (1994; Zbl 0821.68057) Full Text: DOI