Complete description for -equivalence types of superatomic -algebras.
Pyrkin, S.G. (2000)
Sibirskij Matematicheskij Zhurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Pyrkin, S.G. (2000)
Sibirskij Matematicheskij Zhurnal
Similarity:
Katsumi Wasaki (2008)
Formalized Mathematics
Similarity:
To evaluate our formal verification method on a real-size calculation circuit, in this article, we continue to formalize the concept of the 4-2 Binary Addition Cell primitives (FTAs) to define the structures of calculation units for a very fast multiplication algorithm for VLSI implementation [11]. We define the circuit structure of four-types FTAs, TYPE-0 to TYPE-3, using the series constructions of the Generalized Full Adder Circuits (GFAs) that generalized adder to have for each positive...
Pinus, A.G. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Sharma, R.K., Srivastava, J.B., Khan, Manju (2007)
Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]
Similarity:
Garsia, Adriano, Haiman, Mark, Tesler, Glenn (1999)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Sereda, V. A., Filippov, V. T. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
A. Fabianom, G. Pucci, A. Yger (1996)
Acta Arithmetica
Similarity:
Alejandro Illanes (1993)
Colloquium Mathematicae
Similarity:
Pérez, A., Amílcar J. (2006)
Divulgaciones Matemáticas
Similarity:
Eisenkölbl, Theresia (2001)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
D. Bredikhin (1993)
Banach Center Publications
Similarity: