RUS  ENG
Full version
JOURNALS // Diskretnaya Matematika // Archive
Diskr. Mat., 2002 Volume 14, Issue 4, Pages 110–116 (Mi dm266)
This article is cited in 5 papers

On a decomposition method for recognizing membership in invariant classes

A. A. Voronenko


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

UDC: 519.7

Received: 28.10.2002

DOI: 10.4213/dm266


 English version: Discrete Mathematics and Applications, 2002, 12:6, 607–614

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024