Searching by elimination
From MaRDI portal
Publication:920625
DOI10.1016/0167-6423(90)90022-6zbMath0708.68037OpenAlexW2174690185MaRDI QIDQ920625
Anne Kaldewaij, Berry Schoenmakers
Publication date: 1990
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(90)90022-6
program derivationprogram schemesleft-to-right linear searchsearching by eliminationsymmetric linear search
Searching and sorting (68P10) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication: Searching by elimination
