The linear logic synthesis of k-valued digital structures in the analogous circuitry basis | IEEE Conference Publication | IEEE Xplore