| Участие в конференция |
|
1
|
Секционен доклад, Иван Николов, Тинко Тинчев, Контактни логики с $n$-арен контакт: унификация
|
2024
|
|
2
|
Секционен доклад, Иван Николов, Тинко Тинчев, Logic of Ternary Contact
|
2023
|
|
3
|
Секционен доклад, Иван Николов, Логики на n-арния контакт
|
2018
|
|
4
|
Секционен доклад, Иван Николов, Logics of n-ary Contact: Alternative Proof of the Completeness
|
2018
|