IEEE - Institute of Electrical and Electronics Engineers, Inc. - The deepest repetition-free decompositions of nonsingular functions of finite-valued logics

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

Author(s): Sokhatsky, F.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Santiago de Compostela, Spain, Spain
Conference Date: 29 May 1996
Page(s): 279 - 282
ISBN (Paper): 0-8186-7392-3
ISSN (Paper): 0195-623X
DOI: 10.1109/ISMVL.1996.508368
Regular:

A superposition is called repetition-free if every variable appears in it at most once. Two terms are said to almost coincide if the second term can be obtained from the first one in a finite... View More

Advertisement