Исчисления с монотонными выводами и их экономическая интерпретация
Связь между тактиками обратного метода и метода резолюций
Обратимый секвенциальный вариант конструктивного исчисления предикатов
О поиске вывода в исчислениях общего типа
Тактики поиска вывода, основанные на унификации порядка членов в благоприятном наборе
Мутационные исчисления
Распространение обратного метода на исчисление с равенством
Отношение поглощения на регулярных множествах
Эрбрановы тактики и отношение "большей выводимости"
Вероятностные канонические исчисления
О правилах типа сечения в исчислениях общего вида
Машинный алгорифм установления выводимости на основе обратного метода
Page 1