This article is cited in 1 paper

CYBERNETICS AND THE REGULATION THEORY

Polynomial estimation of the complexity of recognizing logical term equivalence

V. K. Sabelfeld

Computing Centre of Siberian Branch of the USSR Academy of Sciences, Novosibirsk

UDC: 518.74

Presented: S. L. Sobolev
Received: 22.05.1979

Bibliographic databases:

•