A generalization of the zero-one principle for sorting algorithms

DOI10.1016/0166-218X(91)90050-7zbMath0714.68018MaRDI QIDQ751248

D. Kharzeev

Publication date: 1991

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

zero-one principle

Mathematics Subject Classification ID

68P10: Searching and sorting

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)