Login / Signup
Jort Martinus Bergfeld
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Probabilistic Logic
Rationality Postulates
Knowledge Base
Top Venues
Soft Comput.
</>
Publications
</>
Jort Martinus Bergfeld
,
Joshua Sack
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs.
Soft Comput.
21 (6) (2017)