Ludwig, Walter A subexponential randomized algorithm for the simple stochastic game problem. (English) Zbl 0827.90141 Inf. Comput. 117, No. 1, 151-155 (1995). MSC: 91A15 68Q25 90C60 PDF BibTeX XML Cite \textit{W. Ludwig}, Inf. Comput. 117, No. 1, 151--155 (1995; Zbl 0827.90141) Full Text: DOI
Bellia, Marco; Occhiuto, M. Eugenia Suprema of open and closed formulas and their application to resolution. (English) Zbl 0828.68044 Inf. Comput. 117, No. 1, 136-150 (1995). MSC: 68N17 PDF BibTeX XML Cite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Inf. Comput. 117, No. 1, 136--150 (1995; Zbl 0828.68044) Full Text: DOI
Castagna, Giuseppe; Ghelli, Giorgio; Longo, Giuseppe A calculus for overloaded functions with subtyping. (English) Zbl 0819.03005 Inf. Comput. 117, No. 1, 115-135 (1995). MSC: 03B40 03B70 PDF BibTeX XML Cite \textit{G. Castagna} et al., Inf. Comput. 117, No. 1, 115--135 (1995; Zbl 0819.03005) Full Text: DOI
Hoogers, P. W.; Kleijn, H. C. M.; Thiagarajan, P. S. A trace semantics for Petri nets. (English) Zbl 0826.68085 Inf. Comput. 117, No. 1, 98-114 (1995). MSC: 68Q85 68Q55 68Q45 PDF BibTeX XML Cite \textit{P. W. Hoogers} et al., Inf. Comput. 117, No. 1, 98--114 (1995; Zbl 0826.68085) Full Text: DOI
Shmueli, Oded A single recursive predicate is sufficient for pure datalog. (English) Zbl 0828.68071 Inf. Comput. 117, No. 1, 91-97 (1995). MSC: 68P15 68N17 PDF BibTeX XML Cite \textit{O. Shmueli}, Inf. Comput. 117, No. 1, 91--97 (1995; Zbl 0828.68071) Full Text: DOI
Idury, Ramana M.; Schäfer, Alejandro A. Multiple matching of rectangular patterns. (English) Zbl 0828.68081 Inf. Comput. 117, No. 1, 78-90 (1995). MSC: 68W10 68Q25 PDF BibTeX XML Cite \textit{R. M. Idury} and \textit{A. A. Schäfer}, Inf. Comput. 117, No. 1, 78--90 (1995; Zbl 0828.68081) Full Text: DOI
Kim, Changwook; Lee, Dong Hoon Node replacement graph languages squeezed with chains, trees, and forests. (English) Zbl 0828.68092 Inf. Comput. 117, No. 1, 63-77 (1995). MSC: 68Q45 68Q42 68R10 PDF BibTeX XML Cite \textit{C. Kim} and \textit{D. H. Lee}, Inf. Comput. 117, No. 1, 63--77 (1995; Zbl 0828.68092) Full Text: DOI
Howell, Rodney R.; Venkatrao, Muralidhar K. On non-preemptive scheduling of recurring tasks using inserted idle times. (English) Zbl 0828.68028 Inf. Comput. 117, No. 1, 50-62 (1995). MSC: 68M20 68W15 PDF BibTeX XML Cite \textit{R. R. Howell} and \textit{M. K. Venkatrao}, Inf. Comput. 117, No. 1, 50--62 (1995; Zbl 0828.68028) Full Text: DOI
Lausen, Georg; Soisalon-Soininen, Eljas Safety by uninterpreted locks. (English) Zbl 0828.68070 Inf. Comput. 117, No. 1, 37-49 (1995). MSC: 68P15 PDF BibTeX XML Cite \textit{G. Lausen} and \textit{E. Soisalon-Soininen}, Inf. Comput. 117, No. 1, 37--49 (1995; Zbl 0828.68070) Full Text: DOI
Ben-Amram, Amir M.; Galil, Zvi On the power of the shift instruction. (English) Zbl 0828.68074 Inf. Comput. 117, No. 1, 19-36 (1995). MSC: 68Q05 68Q25 PDF BibTeX XML Cite \textit{A. M. Ben-Amram} and \textit{Z. Galil}, Inf. Comput. 117, No. 1, 19--36 (1995; Zbl 0828.68074) Full Text: DOI
Kleine Büning, Hans; Karpinski, Marek; Flögel, Andreas Resolution for quantified Boolean formulas. (English) Zbl 0828.68045 Inf. Comput. 117, No. 1, 12-18 (1995). MSC: 68N17 68Q25 03D40 PDF BibTeX XML Cite \textit{H. Kleine Büning} et al., Inf. Comput. 117, No. 1, 12--18 (1995; Zbl 0828.68045) Full Text: DOI
Kurshan, R. P.; McMillan, K. L. A structural induction theorem for processes. (English) Zbl 0828.68096 Inf. Comput. 117, No. 1, 1-11 (1995). MSC: 68Q60 68Q05 PDF BibTeX XML Cite \textit{R. P. Kurshan} and \textit{K. L. McMillan}, Inf. Comput. 117, No. 1, 1--11 (1995; Zbl 0828.68096) Full Text: DOI