 | 2002 |
|---|
| 8 |       | Paul Fischer,
Hans-Ulrich Simon,
Carl Smith:
Foreword.
Theor. Comput. Sci. 284(1): 1-2 (2002) |
| 2001 |
|---|
| 7 |  | John E. Savage,
Alan L. Selman,
Carl Smith:
The history and contribution of theoretical computer science.
Advances in Computers 55: 172-185 (2001) |
| 1994 |
|---|
| 6 | | Brian Pawlowski,
Chet Juszczak,
Peter Staubach,
Carl Smith,
Diane Lebel,
Dave Hitz:
NFS Version 3: Design and Implementation.
USENIX Summer 1994: 137-152 |
| 5 | | Kathleen Romanik,
Carl Smith:
Testing Geometric Objects.
Comput. Geom. 4: 157-176 (1994) |
| 1983 |
|---|
| 4 | | John Case,
Carl Smith:
Comparison of Identification Criteria for Machine Inductive Inference.
Theor. Comput. Sci. 25: 193-220 (1983) |
| 1982 |
|---|
| 3 | | Martin Davis,
Carl Smith,
Paul Young:
Introduction
Information and Control 52(1): 1 (1982) |
| 2 | | Martin Davis,
Carl Smith,
Paul Young:
Introduction
Information and Control 54(1/2): 1 (1982) |
| 1978 |
|---|
| 1 | | John Case,
Carl Smith:
Anomaly Hierarchies of Mechanized Inductive Inference
STOC 1978: 314-319 |
