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

Onderzoeksoutput: Boek/rapportRapportAcademic

83 Downloads (Pure)
Originele taal-2Engels
Plaats van productieAmsterdam
UitgeverijCentrum voor Wiskunde en Informatica
Aantal pagina's20
StatusGepubliceerd - 1990

Publicatie series

NaamCWI report. CS-R
Volume9019
ISSN van geprinte versie0169-118X

Citeer dit