Some remarks on computer realizations of
✍
Jan Rauch
📂
Article
📅
1978
🏛
Elsevier Science
⚖ 303 KB
Experience from the work on a computer realization of the GUHA method (implicational and associational version) is summarized and some general observations are presented. ' •, Vm), vJ= 1 iff vt= j and vj=0 iff vl+j; similarly, vX= (~,..., ~m), ~= 1 iff vt = x and ~ = 0 iff vi 4:x. The tuple (v ° ...