Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Thumbnail Image

Files

Primary 159576pub.pdf (270 KB)
 159576.pdf (330.75 KB)

Date

2016

Authors

Krebbers, R.J.
Parlant, L.
Silva, A. Alexandra

Journal Title

Journal ISSN

Volume Title

Publisher

Cham : Springer International Publishing

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/159576

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By