| |
Chris Hardin
List of publications from the DBLP Bibliography Server - FAQ
| 2005 | ||
|---|---|---|
| 5 | EE | Chris Hardin: Proof Theory for Kleene Algebra. LICS 2005: 290-299 |
| 4 | EE | Christopher Hardin: Modularizing the Elimination of r=0 in Kleene Algebra CoRR abs/cs/0511097: (2005) |
| 3 | EE | Christopher Hardin: Modularizing the Elimination of r=0 in Kleene Algebra. Logical Methods in Computer Science 1(3): (2005) |
| 2004 | ||
| 2 | EE | 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] |