International Colloquium on Automata, Languages and Programming

CONS Should Not Evaluate its Arguments.

Daniel P. Friedman, David S. Wise · 1976 · 270 citations

Education, Philosophy, Argumentation In Science Education +2

Proceedings of the 17th International Colloquium on Automata, Languages and Programming

Mike Paterson · 1990 · 219 citations

Computing, Computer Engineering, Computer Science +12

On the Construction of Huffman Trees.

Jan Van Leeuwen · 1976 · 118 citations

Natural Sciences, Mathematics, Combinatorics +3

Optimal Algorithms for Self-Reducible Problems.

Claus-Peter Schnorr · 1976 · 101 citations

Computing, Computer Science, Mathematics +7

Induction Rules and Termination Proofs.

Peter B. Hitchcock, David Michael Ritchie Park · 1972 · 101 citations

Computing, Computer Science, Algorithms +9