Fully abstract denotational semantics for concurrent Prolog

R.T. Gerth, M. Codish, Y. Lichtenstein, E. Shapiro

Research output: Book/ReportReportAcademic

67 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages14
Publication statusPublished - 1987

Publication series

NameComputing science notes
Volume8721

Cite this