Interactive Typed Tactic Programming in the Coq Proof Assistant

Interactive Typed Tactic Programming in the Coq Proof Assistant

Ziliani, B. (2015). Interactive Typed Tactic Programming in the Coq Proof Assistant. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is 公開

表示: 非表示:

アイテムのパーマリンク: https://hdl.handle.net/11858/00-001M-0000-0026-B824-C 版のパーマリンク: https://hdl.handle.net/21.11116/0000-000C-7BC3-E

資料種別: 学位論文

LaTeX : Interactive Typed Tactic Programming in the {Coq} Proof Assistant

表示:

非表示:

作成者:
Ziliani, Beta¹, 著者
Dreyer, Derek¹, 学位論文主査

所属:
1Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286

非表示:

言語: eng - English

日付: 受理: 2015-03-24オンライン出版: 2015-03-31出版: 2015

出版の状態: 出版

ページ: XVI, 197 p.

出版情報: Saarbrücken : Universität des Saarlandes

目次: -

査読: -

識別子（DOI, ISBNなど）: URN: urn:nbn:de:bsz:291-scidok-60411
BibTex参照ID: ZilianiPhD2015
DOI: 10.22028/D291-26598
その他: hdl:20.500.11880/26654

学位: 博士号 (PhD)

アイテム詳細