The following pages link to Yasuyuki Tsukada (Q504211):
Displayed 7 items.
- On compositional reasoning about anonymity and privacy in epistemic logic (Q504214) (← links)
- Theorem-proving anonymity of infinite-state systems (Q845891) (← links)
- Role Interchange for Anonymity and Privacy of Voting (Q3069729) (← links)
- (Q3126933) (← links)
- (Q4937110) (← links)
- MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK (Q5249247) (← links)
- ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK" (Q5249285) (← links)