CoInduction in Coq

Simple item page
dc.creatorBertot, Yves
dc.date2006-03-29
dc.date.accessioned2026-07-07T07:05:56Z
dc.date.available2026-07-07T07:05:56Z
dc.descriptionWe describe the basic notions of co-induction as they are available in the coq system. As an application, we describe arithmetic properties for simple representations of real numbers.
dc.identifierhttps://arxiv.org/abs/cs/0603119
dc.identifierhttp://arxiv.org/abs/cs/0603119
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/109848
dc.subjectLogic in Computer Science
dc.titleCoInduction in Coq
dc.typetext

Files

Collections

arXiv