From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

F.S. Boer, de, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten

Research output: Book/Report › Report › Academic

143 Downloads (Pure)

Original language	English
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Number of pages	20
Publication status	Published - 1990

Access to Document

@book{de402761c66c440293bf470ffe77334c,

title = "From failure to success : comparing a denotational and a declarative semantics for Horn clause logic",

author = "{Boer, de}, F.S. and J.N. Kok and C. Palamidessi and J.J.M.M. Rutten",

year = "1990",

language = "English",

series = "CWI report. CS-R",

publisher = "Centrum voor Wiskunde en Informatica",

}

TY - BOOK

T1 - From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

AU - Boer, de, F.S.

AU - Kok, J.N.

AU - Palamidessi, C.

AU - Rutten, J.J.M.M.

PY - 1990

Y1 - 1990

M3 - Report

T3 - CWI report. CS-R

BT - From failure to success : comparing a denotational and a declarative semantics for Horn clause logic

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -