Ying, Mingsheng; Chen, Jianxin; Feng, Yuan; Duan, Runyao Commutativity of quantum weakest preconditions. (English) Zbl 1184.68258 Inf. Process. Lett. 104, No. 4, 152-158 (2007). MSC: 68Q10 81P68 PDF BibTeX XML Cite \textit{M. Ying} et al., Inf. Process. Lett. 104, No. 4, 152--158 (2007; Zbl 1184.68258) Full Text: DOI
Shen, Liang; Wang, Yingqian A sufficient condition for a planar graph to be 3-choosable. (English) Zbl 1183.05022 Inf. Process. Lett. 104, No. 4, 146-151 (2007). MSC: 05C10 05C15 PDF BibTeX XML Cite \textit{L. Shen} and \textit{Y. Wang}, Inf. Process. Lett. 104, No. 4, 146--151 (2007; Zbl 1183.05022) Full Text: DOI
Berman, Piotr; Dasgupta, Bhaskar; Kao, Ming-Yang; Wang, Jie On constructing an optimal consensus clustering from multiple clusterings. (English) Zbl 1184.68630 Inf. Process. Lett. 104, No. 4, 137-145 (2007). MSC: 68W25 68Q17 PDF BibTeX XML Cite \textit{P. Berman} et al., Inf. Process. Lett. 104, No. 4, 137--145 (2007; Zbl 1184.68630) Full Text: DOI
Chatain, Thomas; Khomenko, Victor On the well-foundedness of adequate orders used for construction of complete unfolding prefixes. (English) Zbl 1184.68344 Inf. Process. Lett. 104, No. 4, 129-136 (2007). MSC: 68Q85 PDF BibTeX XML Cite \textit{T. Chatain} and \textit{V. Khomenko}, Inf. Process. Lett. 104, No. 4, 129--136 (2007; Zbl 1184.68344) Full Text: DOI
Bein, Wolfgang; Larmore, Lawrence L.; Noga, John Uniform metrical task systems with a limited number of states. (English) Zbl 1184.68619 Inf. Process. Lett. 104, No. 4, 123-128 (2007). MSC: 68W20 68W27 PDF BibTeX XML Cite \textit{W. Bein} et al., Inf. Process. Lett. 104, No. 4, 123--128 (2007; Zbl 1184.68619) Full Text: DOI
Zhou, Yuren; He, Jun Convergence analysis of a self-adaptive multi-objective evolutionary algorithm based on grids. (English) Zbl 1184.68614 Inf. Process. Lett. 104, No. 4, 117-122 (2007). MSC: 68W05 68T05 68W40 PDF BibTeX XML Cite \textit{Y. Zhou} and \textit{J. He}, Inf. Process. Lett. 104, No. 4, 117--122 (2007; Zbl 1184.68614) Full Text: DOI