 | 2011 |
|---|
| 6 |       | Christopher Hardin:
On transitive subrelations of binary relations.
J. Symb. Log. 76(4): 1429-1440 (2011) |
| 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page