|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
A Generalized Realizability and Intuitionistic Logicстатья
Статья опубликована в высокорейтинговом журнале
Статья опубликована в журнале из списка Web of Science и/или Scopus- Автор: Konovalov Aleksandr Yu
- Журнал: ACM Transactions on Computational Logic
- Том: 24
- Номер: 2
- Год издания: 2023
- Издательство: Association for Computing Machinery, Inc.
- Местоположение издательства: United States
- Первая страница: 1
- Последняя страница: 15
- Номер статьи: 11
- DOI: 10.1145/3565367
- Добавил в систему: Коновалов Александр Юрьевич