!UNITY: A HOL Theory of General UNITY

I.S.W.B. Prasetya; T.E.J. Vos; A. Azurat; S.D. Swierstra

!UNITY: A HOL Theory of General UNITY

I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra

Dept of Information and Computing Sciences

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

Original language	Undefined/Unknown
Title of host publication	Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics (TPHOL)
Editors	D. Basin, B. Wolff
Pages	159-176
Number of pages	18
Publication status	Published - 2003

Bibliographical note

PVAS03GenUnityAtTPHOL Also available as tech. report No. 187 of Inst. fur Inf., Albert-Ludwig-Univ. Freiburg. Available on-line at {\tt http://www.informatik.uni-freiburg.de/tr}.

Keywords

Mathematics
Informatica
Landbouwwetenschappen
Natuurwetenschappen

Cite this

@inproceedings{668f253a391b4bf293e11d02da5a141d,

title = "!UNITY: A HOL Theory of General UNITY",

keywords = "Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "I.S.W.B. Prasetya and T.E.J. Vos and A. Azurat and S.D. Swierstra",

note = "PVAS03GenUnityAtTPHOL Also available as tech. report No. 187 of Inst. fur Inf., Albert-Ludwig-Univ. Freiburg. Available on-line at {\tt http://www.informatik.uni-freiburg.de/tr}.",

year = "2003",

language = "Undefined/Unknown",

pages = "159--176",

editor = "D. Basin and B. Wolff",

booktitle = "Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics (TPHOL)",

}

TY - GEN

T1 - !UNITY: A HOL Theory of General UNITY

AU - Prasetya, I.S.W.B.

AU - Vos, T.E.J.

AU - Azurat, A.

AU - Swierstra, S.D.

N1 - PVAS03GenUnityAtTPHOL Also available as tech. report No. 187 of Inst. fur Inf., Albert-Ludwig-Univ. Freiburg. Available on-line at {\tt http://www.informatik.uni-freiburg.de/tr}.

PY - 2003

Y1 - 2003

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Conference contribution

SP - 159

EP - 176

BT - Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics (TPHOL)

A2 - Basin, D.

A2 - Wolff, B.

ER -