Kim, Sung-Ho; Park, Jung-Heum; Choi, Seung-Hak; Shin, Sung Yong; Chwa, Kyung-Yong An optimal algorithm for finding the edge visibility polygon under limited visibility. (English) Zbl 0875.68896 Inf. Process. Lett. 53, No. 6, 359-365 (1995). MSC: 68U05 PDFBibTeX XMLCite \textit{S.-H. Kim} et al., Inf. Process. Lett. 53, No. 6, 359--365 (1995; Zbl 0875.68896) Full Text: DOI
El-Yaniv, Ran; Kleinberg, Jon Geometric two-server algorithms. (English) Zbl 0875.68530 Inf. Process. Lett. 53, No. 6, 355-358 (1995). MSC: 68Q25 68W10 PDFBibTeX XMLCite \textit{R. El-Yaniv} and \textit{J. Kleinberg}, Inf. Process. Lett. 53, No. 6, 355--358 (1995; Zbl 0875.68530) Full Text: DOI
O’Connor, Luke A new lower bound on the expected size of irredundant forms for Boolean functions. (English) Zbl 1022.68592 Inf. Process. Lett. 53, No. 6, 347-353 (1995). MSC: 68R05 PDFBibTeX XMLCite \textit{L. O'Connor}, Inf. Process. Lett. 53, No. 6, 347--353 (1995; Zbl 1022.68592) Full Text: DOI
Valmari, Antti The weakest deadlock-preserving congruence. (English) Zbl 0875.68620 Inf. Process. Lett. 53, No. 6, 341-346 (1995). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{A. Valmari}, Inf. Process. Lett. 53, No. 6, 341--346 (1995; Zbl 0875.68620) Full Text: DOI
Otto, Martin A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\). (English) Zbl 0875.68673 Inf. Process. Lett. 53, No. 6, 337-339 (1995). MSC: 68R05 PDFBibTeX XMLCite \textit{M. Otto}, Inf. Process. Lett. 53, No. 6, 337--339 (1995; Zbl 0875.68673) Full Text: DOI
Natu, Madan; Fang, Shu-Cherng On the point-to-point connection problem. (English) Zbl 0875.68444 Inf. Process. Lett. 53, No. 6, 333-336 (1995). MSC: 68W10 68Q15 PDFBibTeX XMLCite \textit{M. Natu} and \textit{S.-C. Fang}, Inf. Process. Lett. 53, No. 6, 333--336 (1995; Zbl 0875.68444) Full Text: DOI
Dijkstra, Rutger M. An experiment with the use of predicate transformers in UNITY. (English) Zbl 0875.68498 Inf. Process. Lett. 53, No. 6, 329-332 (1995). MSC: 68W15 PDFBibTeX XMLCite \textit{R. M. Dijkstra}, Inf. Process. Lett. 53, No. 6, 329--332 (1995; Zbl 0875.68498) Full Text: DOI
Goldmann, Mikael A note on the power of majority gates and modular gates. (English) Zbl 0875.68418 Inf. Process. Lett. 53, No. 6, 321-327 (1995). MSC: 68Q15 68M99 68M07 PDFBibTeX XMLCite \textit{M. Goldmann}, Inf. Process. Lett. 53, No. 6, 321--327 (1995; Zbl 0875.68418) Full Text: DOI
Macarie, Ioan I. Decreasing the bandwidth of a transition matrix. (English) Zbl 0875.68419 Inf. Process. Lett. 53, No. 6, 315-320 (1995). MSC: 68Q15 68Q05 PDFBibTeX XMLCite \textit{I. I. Macarie}, Inf. Process. Lett. 53, No. 6, 315--320 (1995; Zbl 0875.68419) Full Text: DOI
May, J. H. R.; Lunn, A. D. New statistics for demand-based software testing. (English) Zbl 0875.68270 Inf. Process. Lett. 53, No. 6, 307-314 (1995). MSC: 68N99 PDFBibTeX XMLCite \textit{J. H. R. May} and \textit{A. D. Lunn}, Inf. Process. Lett. 53, No. 6, 307--314 (1995; Zbl 0875.68270) Full Text: DOI
Spiliopoulou, Myra; Cotronis, Yannis; Hatzopoulos, Michael Query processing for multimedia applications on optical media. (English) Zbl 0875.68353 Inf. Process. Lett. 53, No. 6, 301-306 (1995). MSC: 68P15 PDFBibTeX XMLCite \textit{M. Spiliopoulou} et al., Inf. Process. Lett. 53, No. 6, 301--306 (1995; Zbl 0875.68353) Full Text: DOI