Geodesic
On a decomposition method for recognizing membership in invariant classes
Diskretnaya Matematika, Tome 14 (2002) no. 4, pp. 110-116 
A. A. Voronenko. On a decomposition method for recognizing membership in invariant classes. Diskretnaya Matematika, Tome 14 (2002) no. 4, pp. 110-116. http://geodesic.mathdoc.fr/item/DM_2002_14_4_a3/
@article{DM_2002_14_4_a3,
     author = {A. A. Voronenko},
     title = {On a decomposition method for recognizing membership in invariant classes},
     journal = {Diskretnaya Matematika},
     pages = {110--116},
     year = {2002},
     volume = {14},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_2002_14_4_a3/}
}
TY  - JOUR
AU  - A. A. Voronenko
TI  - On a decomposition method for recognizing membership in invariant classes
JO  - Diskretnaya Matematika
PY  - 2002
SP  - 110
EP  - 116
VL  - 14
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/DM_2002_14_4_a3/
LA  - ru
ID  - DM_2002_14_4_a3
ER  - 
%0 Journal Article
%A A. A. Voronenko
%T On a decomposition method for recognizing membership in invariant classes
%J Diskretnaya Matematika
%D 2002
%P 110-116
%V 14
%N 4
%U http://geodesic.mathdoc.fr/item/DM_2002_14_4_a3/
%G ru
%F DM_2002_14_4_a3

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

We suggest a decomposition method for testing the belonging of a function to classes closed with respect to substitutions of constants for variables.

[1] Voronenko A. A., “O slozhnosti raspoznavaniya monotonnosti.”, Matem. voprosy kibern., 8 (1999), 301–303 | MR | Zbl

[2] Ansel Zh., “O chisle monotonnykh bulevykh funktsii $n$ peremennykh”, Kibern. sb., 5 (1968), 42–53

[3] Goldreich O., Goldwasser S., Lehman E., Ron D., “Testing monotonicity”, Proc. Annual Symp. Found. Computer Sci., 1998, 426–435

[4] Alekseev V. B., “Logicheskie polukoltsa i ikh ispolzovanie dlya postroeniya bystrykh algoritmov”, Vestnik MGU, Seriya I: Matematika, mekhanika, 1997, no. 1, 22–29 | MR | Zbl

[5] Alekssev V. B, Voronenko A. A., “O nekotorykh zamknutykh klassakh v chastichnoi dvuznachnoi logike”, Diskretnaya matematika, 6:4 (1994), 58–79 | MR