Skip to content

The Problem of Minimal Implicating Vector.

S. E. Kuznetsov, N. N. Nurmeev, F. I. Salimov

VenueBFCT
Year1987
ProceedingsFCT

Browse the full FCT paper archive.