The Isabelle formalization of an incremental coniductive proof system

Permalink

https://hdl.handle.net/2142/14857

Title: The Isabelle formalization of an incremental coniductive proof system
Author(s): Popescu, Andrei
Contributor(s): Gunter, Elsa L.
Issue Date: 2010-01-28
Keyword(s): Isabelle/HOL, Process Algebra, de Simone SOS, Incremental Coniduction
Type of Resource: other
Language: en
Permalink: http://hdl.handle.net/2142/14857