Modal logics for cryptographic processes (Q2842609)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modal logics for cryptographic processes |
scientific article; zbMATH DE number 6198651
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal logics for cryptographic processes |
scientific article; zbMATH DE number 6198651 |
Statements
15 August 2013
0 references
0 references
0.8767635
0 references
0.86704063
0 references
0.8653927
0 references
0.8641561
0 references
0.86332005
0 references
0.86298263
0 references
0.86230683
0 references
Modal logics for cryptographic processes (English)
0 references
