Сабельфельд Виктор Карлович

Публикации в базе данных Math-Net.Ru

1. Полиномиальная оценка сложности распознавания логико-термальной эквивалентности
   
   Докл. АН СССР, 249:4 (1979),  793–796