Back to Results
First PageMeta Content
Structure / Abstract interpretation / Galois connection / Coinduction / Mathematics / Order theory / Mathematical analysis


The Power of Parameterization in Coinductive Proof Chung-Kil Hur
Add to Reading List

Document Date: 2012-11-01 02:57:53

Open Document

File Size: 395,82 KB

Share Result on Facebook

City

Rome / /

Company

Relation Transition Systems / Google / /

Country

Italy / /

Currency

USD / /

/

Facility

Coq library / /

Organization

Saarland University / /

Person

Isabelle / Paco / Coq / Kil Hur Georg Neis Derek Dreyer Viktor / /

Position

postdoctoral researcher / first author / postdoctoral researcher at MPI-SWS / representative / proof assistant / second author / programmer / /

ProgrammingLanguage

K / /

Technology

simulation / /

URL

http /

SocialTag