3 search results - page 1 / 1 » Normal Gentzen Deductions in the Classical Case |
IGPL
2000
13 years 10 months ago
2000
ISMVL
2000
IEEE
14 years 3 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
TNN
1998
13 years 10 months ago
1998
In this paper we regard first the situation where parallel channels are disturbed by noise. With the goal of maximal information conservation we deduce the conditions for a transf...