Mending the Unending: Machine Assisted Reasoning with Infinite Objects July 2008 - January 2011
Collection
Collection
-
Coinductive Formal Reasoning in Exact Real Arithmetic Article
Logical Methods in Computer Science, 4(3)September 2008
-
October 2008
-
January 2009
-
Coinductive Predicates as Final Coalgebras In Proceedings
January 2009 -
December 2009
-
CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science Proceedings
January 2010
-
January 2010
-
February 2010