A generalization of the zero-one principle for sorting algorithms
From MaRDI portal
Publication:751248
DOI10.1016/0166-218X(91)90050-7zbMath0714.68018MaRDI QIDQ751248
Publication date: 1991
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Searching and sorting (68P10) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
This page was built for publication: A generalization of the zero-one principle for sorting algorithms