| |
| 1961 | ||
|---|---|---|
| 3 | Alan Cobham, R. Fridshal, J. H. North: An application of linear programming to the minimization of Boolean functions FOCS 1961: 3-9 | |
| 1959 | ||
| 2 | B. Dunham, R. Fridshal, G. L. Sward: A non-heuristic program for proving elementary logical theorems. IFIP Congress 1959: 282-284 | |
| 1 | B. Dunham, R. Fridshal: The Problem of Simplifying Logical Expressions. J. Symb. Log. 24(1): 17-19 (1959) | |
| 1 | Alan Cobham | [3] |
| 2 | B. Dunham | [1] [2] |
| 3 | J. H. North | [3] |
| 4 | G. L. Sward | [2] |