Logic functions representation and synthesis of k-valued digital circuits in linear algebra | IEEE Conference Publication | IEEE Xplore