Publication:4938882
From MaRDI portal
zbMath0953.94018MaRDI QIDQ4938882
Andrew J. I. Jones, Christen Krogh
Publication date: 29 January 2001
03B45: Modal logic (including the logic of norms)
94A60: Cryptography
03B80: Other applications of logic
Related Items