|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1974 |
1. |
Я. Я. Голота, “Матричный способ записи сетей меток”, Зап. научн. сем. ЛОМИ, 40 (1974), 4–9 |
1
|
|
1969 |
2. |
Я. Я. Голота, “Некоторые приемы, упрощающие построение сетей меток”, Зап. научн. сем. ЛОМИ, 16 (1969), 44–53 |
3. |
Я. Я. Голота, “Сети меток и выводимость в интуиционистском исчислении высказываний”, Зап. научн. сем. ЛОМИ, 16 (1969), 28–43 |
|