Aspects of the proof-assistant Yarrow

J. Zwanenburg

Aspects of the proof-assistant Yarrow

J. Zwanenburg

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

336 Downloads (Pure)

Original language	English
Title of host publication	Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)
Editors	R.C. Backhouse
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Pages	173-180
Publication status	Published - 1998

Publication series

Name	Computing Science Reports
Volume	98/08
ISSN (Print)	9432-0101

Access to Document

200011400Final published version, 6.23 MB

Cite this

@inproceedings{c50a1973cbf74202a064d1bd57e6ba05,

title = "Aspects of the proof-assistant Yarrow",

author = "J. Zwanenburg",

year = "1998",

language = "English",

series = "Computing Science Reports",

publisher = "Technische Universiteit Eindhoven",

pages = "173--180",

editor = "R.C. Backhouse",

booktitle = "Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)",

}

Aspects of the proof-assistant Yarrow. / Zwanenburg, J.
Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998). ed. / R.C. Backhouse. Eindhoven: Technische Universiteit Eindhoven, 1998. p. 173-180 (Computing Science Reports; Vol. 98/08).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Aspects of the proof-assistant Yarrow

AU - Zwanenburg, J.

PY - 1998

Y1 - 1998

M3 - Conference contribution

T3 - Computing Science Reports

SP - 173

EP - 180

BT - Informal Proceedings of the Workshop on User Interfaces for Theorem Provers (Eindhoven, The Netherlands, July 13-15, 1998)

A2 - Backhouse, R.C.

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -