zbMATH — the first resource for mathematics

Combinatorial problems, combinator equations and normal forms. (English) Zbl 0309.68037
Automata, Languages, Progr.; 2nd Colloqu., Univ. Saarbrücken, Lecture Notes Computer Sci. 14, 185-199 (1974).

68W99 Algorithms in computer science
68Q25 Analysis of algorithms and problem complexity
68W30 Symbolic computation and algebraic computation
03B40 Combinatory logic and lambda calculus