Open AccessО методе нахождения точных оценок длин выводов в системах Туэ
Author(s) -
Сергей Иванович Адян,
Сергей Иванович Адян
Publication year - 2012
Publication title -
matematičeskie zametki
Language(s) - Russian
Resource type - Journals
eISSN - 2305-2880
pISSN - 0025-567X
DOI - 10.4213/mzm9483
Subject(s) - computer science