Geodesic
About tseitin's transformation in logical equations
Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 12-13

Voir la notice de l'article provenant de la source Math-Net.Ru

The report is supposed to touch upon a number of theoretical and applied issues of propositional logic. The issues share the common methodology which includes in its basis rather easy conversions of logical equations. Today science calls this kind of conversions ‘`Tseitin’s transformation’’. 
@article{PDM_2009_10_a4,
     author = {A. A. Semenov},
     title = {About tseitin's transformation in logical equations},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {12--13},
     publisher = {mathdoc},
     number = {10},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_10_a4/}
}
TY  - JOUR
AU  - A. A. Semenov
TI  - About tseitin's transformation in logical equations
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 12
EP  - 13
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_10_a4/
LA  - ru
ID  - PDM_2009_10_a4
ER  - 
%0 Journal Article
%A A. A. Semenov
%T About tseitin's transformation in logical equations
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 12-13
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a4/
%G ru
%F PDM_2009_10_a4
A. A. Semenov. About tseitin's transformation in logical equations. Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 12-13. http://geodesic.mathdoc.fr/item/PDM_2009_10_a4/