| |
| | Dexter Kozen's Online Publications (Site not responding. Last check: 2007-10-09) |
 | | In the Scope of Logic, Methodology, and Philosophy of Science: Volume 1 of the 11th Int. |
 | | Kleene algebras are an important class of algebraic structures that arise in diverse areas of computer science: program logic and semantics, relational algebra, automata theory, and the design and analysis of algorithms. |
 | | The system was designed to simplify, streamline, and automate many aspects of the workflow associated with running a large course, such as course creation, importing students, management of student workgroups, online submission of assignments, assignment of graders, grading, handling regrade requests, and preparation of final grades. |
| www.cs.cornell.edu /kozen/papers (7190 words) |
|