"Deriving Probabilistic Semantics Via the 'Weakest Completion'."

Jifeng He, Carroll Morgan, Annabelle McIver (2004)

Details and statistics

DOI: 10.1007/978-3-540-30482-1_17

access: closed

type: Conference or Workshop Paper

metadata version: 2022-04-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics