We stand with Ukraine  

Christopher Hardin

According to our database1, Christopher Hardin authored at least 6 papers between 2001 and 2011.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2011
On transitive subrelations of binary relations.
[BibTeX]
[DOI]
Christopher Hardin
J. Symb. Log., 2011

2010
Agreement in Circular Societies.
[BibTeX]
[DOI]
Christopher Hardin
Am. Math. Mon., 2010

2005
Modularizing the Elimination of r=0 in Kleene Algebra.
[BibTeX]
[DOI]
Christopher Hardin
Log. Methods Comput. Sci., 2005

Proof Theory for Kleene Algebra.
[BibTeX]
[DOI]
Chris Hardin
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004
How the Location of * Influences Complexity in Kleene Algebra with Tests.
[BibTeX]
[DOI]
Christopher Hardin
Proceedings of the Logic for Programming, 2004

2001
The Mean Value Theorem in Second Order Arithmetic.
[BibTeX]
[DOI]
Christopher Hardin
,
Daniel J. Velleman
J. Symb. Log., 2001


  Loading...