A Set-theoretic Setting for Structuring Theories in Proof Development. / Luo, Z.; Burstall, R.

LFCS Report Series. LFCS, Edinburgh Univ, 1992.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Published

Standard

A Set-theoretic Setting for Structuring Theories in Proof Development. / Luo, Z.; Burstall, R.

LFCS Report Series. LFCS, Edinburgh Univ, 1992.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Harvard

Luo, Z & Burstall, R 1992, A Set-theoretic Setting for Structuring Theories in Proof Development. in LFCS Report Series. LFCS, Edinburgh Univ.

APA

Luo, Z., & Burstall, R. (1992). A Set-theoretic Setting for Structuring Theories in Proof Development. In LFCS Report Series LFCS, Edinburgh Univ.

Vancouver

Luo Z, Burstall R. A Set-theoretic Setting for Structuring Theories in Proof Development. In LFCS Report Series. LFCS, Edinburgh Univ. 1992

Author

Luo, Z. ; Burstall, R. / A Set-theoretic Setting for Structuring Theories in Proof Development. LFCS Report Series. LFCS, Edinburgh Univ, 1992.

BibTeX

@inbook{83a5a56d5c244e3f875dd08418dd6980,
title = "A Set-theoretic Setting for Structuring Theories in Proof Development",
author = "Z. Luo and R. Burstall",
year = "1992",
language = "English",
booktitle = "LFCS Report Series",
publisher = "LFCS, Edinburgh Univ",

}

RIS

TY - CHAP

T1 - A Set-theoretic Setting for Structuring Theories in Proof Development

AU - Luo, Z.

AU - Burstall, R.

PY - 1992

Y1 - 1992

M3 - Other contribution

BT - LFCS Report Series

PB - LFCS, Edinburgh Univ

ER -