The following pages link to Simon Kramer (Q276033):
Displayed 8 items.
- Logic of negation-complete interactive proofs (formal theory of epistemic deciders) (Q276034) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- Logic of Non-monotonic Interactive Proofs (Q2936240) (← links)
- A quantitative doxastic logic for probabilistic processes and applications to information-hiding (Q5188177) (← links)
- Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) (Q5277900) (← links)
- Computer-aided decision-making with trust relations and trust domains (cryptographic applications) (Q5406122) (← links)
- A Logic of Interactive Proofs (Formal Theory of Knowledge Transfer) (Q6230322) (← links)
- Quantum Logic as Classical Logic (Q6252322) (← links)