On logic programming and the refinement calculus semantics based program transformations

Research output: Book/Report › Report › Academic

Keywords

@book{f4b252120cd541608f6ea1ecf6960bce,

title = "On logic programming and the refinement calculus semantics based program transformations",

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

author = "J.N. Kok",

year = "1990",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "90-39",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - On logic programming and the refinement calculus semantics based program transformations

AU - Kok, J.N.

PY - 1990

Y1 - 1990

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 90-39

BT - On logic programming and the refinement calculus semantics based program transformations

PB - Unknown Publisher

CY - Utrecht

ER -