Chris Hardin
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 5 |      | Chris Hardin: Proof Theory for Kleene Algebra. LICS 2005: 290-299 |
| 4 | | Christopher Hardin: Modularizing the Elimination of r=0 in Kleene Algebra CoRR abs/cs/0511097: (2005) |
| 3 | | Christopher Hardin: Modularizing the Elimination of r=0 in Kleene Algebra. Logical Methods in Computer Science 1(3): (2005) |
| 2004 | ||
| 2 | | Christopher Hardin: How the Location of * Influences Complexity in Kleene Algebra with Tests. LPAR 2004: 224-239 |
| 2001 | ||
| 1 |  | Christopher Hardin, Daniel J. Velleman: The Mean Value Theorem in Second Order Arithmetic. J. Symb. Log. 66(3): 1353-1358 (2001) |
| 1 | Daniel J. Velleman | [1] |