Bruce Kallick

List of publications from the DBLP Bibliography Server - FAQ

1968

2 Bruce Kallick: A decision procedure based on the resolution method. IFIP Congress (1) 1968: 269-275

1964

1 EE Eugene S. Schwartz, Bruce Kallick: Generating a canonical prefix encoding. Commun. ACM 7(3): 166-169 (1964)

1968
2		Bruce Kallick: A decision procedure based on the resolution method. IFIP Congress (1) 1968: 269-275
1964
1	EE	Eugene S. Schwartz, Bruce Kallick: Generating a canonical prefix encoding. Commun. ACM 7(3): 166-169 (1964)

Coauthor Index