Christian, Flaviu; Aghili, Houtan; Strong, Ray; Dolev, Danny Atomic broadcast: From simple message diffusion to Byzantine agreement. (English) Zbl 0939.68510 Inf. Comput. 118, No. 1, 158-179 (1995). MSC: 68M10 PDFBibTeX XMLCite \textit{F. Christian} et al., Inf. Comput. 118, No. 1, 158--179 (1995; Zbl 0939.68510) Full Text: DOI
Alur, R.; Itai, A.; Kurshan, R. P.; Yannakakis, M. Timing verification by successive approximation. (English) Zbl 0939.68705 Inf. Comput. 118, No. 1, 142-157 (1995). MSC: 68Q60 68Q05 PDFBibTeX XMLCite \textit{R. Alur} et al., Inf. Comput. 118, No. 1, 142--157 (1995; Zbl 0939.68705) Full Text: DOI
Palsberg, Jens; Schwartzbach, Michael I. Safety analysis versus type inference. (English) Zbl 0941.68831 Inf. Comput. 118, No. 1, 128-141 (1995). MSC: 68W30 PDFBibTeX XMLCite \textit{J. Palsberg} and \textit{M. I. Schwartzbach}, Inf. Comput. 118, No. 1, 128--141 (1995; Zbl 0941.68831) Full Text: DOI Link
Takahashi, Masako Parallel reductions in \(\lambda\)-calculus. (English) Zbl 0827.68060 Inf. Comput. 118, No. 1, 120-127 (1995). MSC: 68W30 PDFBibTeX XMLCite \textit{M. Takahashi}, Inf. Comput. 118, No. 1, 120--127 (1995; Zbl 0827.68060) Full Text: DOI
Litovsky, Igor; Métivier, Yves; Zielonka, Wiesław On the recognition of families of graphs with local computations. (English) Zbl 0827.68085 Inf. Comput. 118, No. 1, 110-119 (1995). MSC: 68R10 PDFBibTeX XMLCite \textit{I. Litovsky} et al., Inf. Comput. 118, No. 1, 110--119 (1995; Zbl 0827.68085) Full Text: DOI
Touati, Hervé J.; Brayton, Robert K.; Kurshan, R. Testing language containment for \(\omega\)-automata using BDDs. (English) Zbl 0826.68050 Inf. Comput. 118, No. 1, 101-109 (1995). MSC: 68Q15 68Q45 PDFBibTeX XMLCite \textit{H. J. Touati} et al., Inf. Comput. 118, No. 1, 101--109 (1995; Zbl 0826.68050) Full Text: DOI
Kucherov, Gregory; Tajine, Mohamed Decidability of regularity and related properties of ground normal form languages. (English) Zbl 0834.68066 Inf. Comput. 118, No. 1, 91-100 (1995). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{G. Kucherov} and \textit{M. Tajine}, Inf. Comput. 118, No. 1, 91--100 (1995; Zbl 0834.68066) Full Text: DOI
Beigel, Richard; Kummer, Martin; Stephan, Frank Quantifying the amount of verboseness. (English) Zbl 0827.68082 Inf. Comput. 118, No. 1, 73-90 (1995). MSC: 68R05 PDFBibTeX XMLCite \textit{R. Beigel} et al., Inf. Comput. 118, No. 1, 73--90 (1995; Zbl 0827.68082) Full Text: DOI
Shawe-Taylor, John Sample sizes for threshold networks with equivalences. (English) Zbl 0827.68007 Inf. Comput. 118, No. 1, 65-72 (1995). MSC: 68M10 68T05 PDFBibTeX XMLCite \textit{J. Shawe-Taylor}, Inf. Comput. 118, No. 1, 65--72 (1995; Zbl 0827.68007) Full Text: DOI Link
Bultman, William J.; Maass, Wolfgang Fast identification of geometric objects with membership queries. (English) Zbl 0827.68112 Inf. Comput. 118, No. 1, 48-64 (1995). MSC: 68U05 68W10 PDFBibTeX XMLCite \textit{W. J. Bultman} and \textit{W. Maass}, Inf. Comput. 118, No. 1, 48--64 (1995; Zbl 0827.68112) Full Text: DOI
Vogler, Walter Generalized OM-bisimulation. (English) Zbl 0939.68920 Inf. Comput. 118, No. 1, 38-47 (1995). MSC: 68U20 PDFBibTeX XMLCite \textit{W. Vogler}, Inf. Comput. 118, No. 1, 38--47 (1995; Zbl 0939.68920) Full Text: DOI
Khuller, Samir; Matias, Yossi A simple randomized sieve algorithm for the closest-pair problem. (English) Zbl 0827.68113 Inf. Comput. 118, No. 1, 34-37 (1995). MSC: 68U05 68W10 PDFBibTeX XMLCite \textit{S. Khuller} and \textit{Y. Matias}, Inf. Comput. 118, No. 1, 34--37 (1995; Zbl 0827.68113) Full Text: DOI
Stuckey, Peter J. Negation and constraint logic programming. (English) Zbl 0827.68022 Inf. Comput. 118, No. 1, 12-33 (1995). MSC: 68N17 PDFBibTeX XMLCite \textit{P. J. Stuckey}, Inf. Comput. 118, No. 1, 12--33 (1995; Zbl 0827.68022) Full Text: DOI
Amir, Amihood; Farach, Martin Efficient 2-dimensional approximate matching of half-rectangular figures. (English) Zbl 0827.68099 Inf. Comput. 118, No. 1, 1-11 (1995). MSC: 68T10 68U10 PDFBibTeX XMLCite \textit{A. Amir} and \textit{M. Farach}, Inf. Comput. 118, No. 1, 1--11 (1995; Zbl 0827.68099) Full Text: DOI