|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Primal implication as encryptionстатья
- Автор: Krupski V.
- Журнал: ArXiv e-prints
- Номер: 1303.6862
- Год издания: 2013
- Аннотация: Предложена криптографическая интерпретация основной пропозициональной логики инфонов, при которой связкам соответствуют криптографические примитивы. Доказаны соответствующие теоремы о корректности и полноте.
- Добавил в систему: Крупский Владимир Николаевич