2002 |
8 | EE | 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 |