Deriving probabilistic semantics via the 'weakest completion'

He Jifeng, Carroll Morgan, Annabelle McIver

Research output: Contribution to journalArticle

1 Citation (Scopus)
Original languageEnglish
Pages (from-to)131-145
Number of pages15
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3308
Publication statusPublished - 2004

Cite this