Files in this item

FilesDescriptionFormat

application/zip

application/zipCoinductiveProofSystem_in_Isabelle.zip (772Kb)
(no description provided)ZIP

Description

Title:The Isabelle formalization of an incremental coniductive proof system
Author(s):Popescu, Andrei
Contributor(s):Gunter, Elsa L.
Subject(s):Isabelle/HOL, Process Algebra, de Simone SOS, Incremental Coniduction
Issue Date:2010-01-28
Genre:Other
Type:Other
Language:English
URI:http://hdl.handle.net/2142/14857
Publication Status:unpublished
Date Available in IDEALS:2010-01-28


This item appears in the following Collection(s)

Item Statistics

  • Total Downloads: 64
  • Downloads this Month: 1
  • Downloads Today: 0