Böhm, Corrado; Dezani-Ciancaglini, Mariangiola 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 11 Documents 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 PDFBibTeX XML