The following pages link to Jort Martinus Bergfeld (Q1701680):
Displaying 6 items.
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- (Q495835) (redirect page) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Quantum Probabilistic Dyadic Second-Order Logic (Q2849423) (← links)
- Model Constructions for Moss’ Coalgebraic Logic (Q3090864) (← links)
