RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив

Зап. научн. сем. ЛОМИ, 1974, том 40, страницы 63–76 (Mi znsl2682)

О правилах типа сечений в исчислениях общего вида

С. Ю. Маслов, С. А. Норгела


Аннотация: Проблема устранимости сечения для исчислений общего типа формулируется как проблема строгой представимости посредством канонических исчислений Поста, удовлетворяющих дополнительному требованию: каждое слово может являться заключением лишь конечного числа применений правил. Изучаются возможности устранения и алгорифмического устранения сечения.

УДК: 51.01:815.5+51.155.001.57



Реферативные базы данных:


© МИАН, 2024