COM S 786: Introduction to Kleene Algebra

Cross-Listing: Not cross-listed.

n/a

Offered: Spring only

Prerequisites: None

Grade options: Letter or S/U

Credit hours: 4

Recent offerings:

• http://www.cs.cornell.edu/courses/cs786/2004sp
• http://www.cs.cornell.edu/courses/cs786/2002sp
  • Dexter Kozen