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

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

Publication series

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

Cite this