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/ReportReportAcademic

127 Downloads (Pure)
Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Number of pages20
Publication statusPublished - 1990

Publication series

NameCWI report. CS-R
ISSN (Print)0169-118X

Cite this