共 50 条
- [31] On simulatability soundness and mapping soundness of symbolic cryptography FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 108 - +
- [39] Essentialist Arguments for Discernibility are Unsound ACTA ANALYTICA-INTERNATIONAL PERIODICAL FOR PHILOSOPHY IN THE ANALYTICAL TRADITION, 2024, 39 (01): : 57 - 77