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).
MSC:
68W99 | Algorithms in computer science |
68Q25 | Analysis of algorithms and problem complexity |
68W30 | Symbolic computation and algebraic computation |
03B40 | Combinatory logic and lambda calculus |