4,659 research outputs found
Ken Kunen: Algebraist
This paper is a greatly expanded version of a talk I gave in April 2009 at
KunenFest. It describes Ken's work in algebra, particularly using automated
deduction tools.Comment: 7 pages, to appear in a special issue of Topology and its
Applications in honor of Ken Kune
Spartan Daily, March 18, 1991
Volume 96, Issue 34https://scholarworks.sjsu.edu/spartandaily/8102/thumbnail.jp
Spartan Daily, March 14, 1991
Volume 96, Issue 32https://scholarworks.sjsu.edu/spartandaily/8100/thumbnail.jp
Spartan Daily, February 7, 1991
Volume 96, Issue 7https://scholarworks.sjsu.edu/spartandaily/8075/thumbnail.jp
Spartan Daily, February 7, 1991
Volume 96, Issue 7https://scholarworks.sjsu.edu/spartandaily/8075/thumbnail.jp
Spartan Daily, September 7, 1990
Volume 95, Issue 6https://scholarworks.sjsu.edu/spartandaily/8006/thumbnail.jp
- …