×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [soundness property]
Thesis K Loebnitz
18 views
LDK R Logics for Data and Knowledge Representation Exercise 2: PL, ClassL, Ground ClassL
232 views
Lect. 20. Identification
40 views
1 Lect. 20. Identification. 2 Entity Authentication (Identification) Over the communication network, one party, Alice, shows to another party, Bob,
227 views
L ogics for D ata and K nowledge R epresentation
14 views
Complete Problem for Perfect Zero-Knowledge Quantum Interactive Proof
46 views