Bruce Lercher

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1967

2 Bruce Lercher: Strong Reduction and Normal Form in Combinatory Logic. J. Symb. Log. 32(2): 213-223 (1967)

1 Bruce Lercher: The Decidability of Hindley's Axioms for Strong Reduction. J. Symb. Log. 32(2): 237-239 (1967)

1967
2		Bruce Lercher: Strong Reduction and Normal Form in Combinatory Logic. J. Symb. Log. 32(2): 213-223 (1967)
1		Bruce Lercher: The Decidability of Hindley's Axioms for Strong Reduction. J. Symb. Log. 32(2): 237-239 (1967)