14 search results - page 1 / 3 » ismvl 2000 |
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
— This paper analyses the propagation operations of signal’s multiple-valued behavior while passing through the basic gates. Based on it the propagation algorithm of behavior p...
ISMVL
2000
IEEE
13 years 9 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...