Kripke semantics for epistemic logic relational information between ciphertexts. [article].

Bibliografiset tiedot
Päätekijä: Hagihara, Shigeki
Aineistotyyppi: Analytics
Kieli:English
Aiheet: