Mechanization of Substitution Rule and Compostionality of UNITY in HOL

Research output: Book/Report › Report › Academic

Keywords

@book{43009b3dbc594e3586bcbe8f80a88438,

title = "Mechanization of Substitution Rule and Compostionality of UNITY in HOL",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "I.S.W.B. Prasetya",

year = "1994",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "1994-19",

publisher = "Unknown Publisher",

edition = "UU-CS",

}

TY - BOOK

T1 - Mechanization of Substitution Rule and Compostionality of UNITY in HOL

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

PY - 1994

Y1 - 1994

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 1994-19

BT - Mechanization of Substitution Rule and Compostionality of UNITY in HOL

PB - Unknown Publisher

CY - Utrecht

ER -