The origin of a binary-search paradigm
- 1 August 1987
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 9 (1) , 37-83
- https://doi.org/10.1016/0167-6423(87)90025-6
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Special relations in automated deductionJournal of the ACM, 1986
- Top-down synthesis of divide-and-conquer algorithmsArtificial Intelligence, 1985
- Proofs as programsACM Transactions on Programming Languages and Systems, 1985
- Automated deduction by theory resolutionJournal of Automated Reasoning, 1985
- Propositions and specifications of programs in Martin-Löf's type theoryBIT Numerical Mathematics, 1984
- Completely non-clausal theorem provingArtificial Intelligence, 1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980
- The Evolution of Programs: Automatic Program ModificationIEEE Transactions on Software Engineering, 1977
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965