Person:1701680: Difference between revisions
From MaRDI portal
Person:1701680
m AuthorDisambiguator moved page Person:495835 to Jort Martinus Bergfeld: Duplicate |
m AuthorDisambiguator moved page Jort Martinus Bergfeld to Jort Martinus Bergfeld: Duplicate |
(No difference)
|
Latest revision as of 01:36, 12 December 2023
Available identifiers
zbMath Open bergfeld.jort-martinusMaRDI QIDQ1701680
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs | 2018-02-27 | Paper |
Duality for the logic of quantum actions | 2015-09-15 | Paper |
PLQP \& Company: decidable logics for quantum algorithms | 2014-11-19 | Paper |
Quantum Probabilistic Dyadic Second-Order Logic | 2013-09-17 | Paper |
Model Constructions for Moss’ Coalgebraic Logic | 2011-09-02 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Jort Martinus Bergfeld