V. V. Bludov, A. V. Mantsivoda, N. A. Peryazev
A.I. Kokorin | 1 |
|---|
V. V. Bludov, A. M. W. Glass
Groups and orderings: word problems, embeddings and amalgams( a survey of recent results) | 4 |
|---|
A. A. Vikentiev, R. A. Vikentiev
A distance and the measure refutations on logical formulas (statements of experts with probability) in the measure class metric models | 20 |
|---|
S. F. Vinokurov, A. S. Kazimirov
Enumeration of operator classes for boolean functions | 40 |
|---|
Alexander N. Gavryushkin
Computable Limit Models | 56 |
|---|
O. V. Zubkov
About a part noniterated functions, free from paws of the big width | 62 |
|---|
K. D. Kirichenko
Bounds of the minimization patterns’ complexity of ESOP | 72 |
|---|
S. Kryvyi, W. Grzywac
The Algorithms for building of minimal supported solution set forsystems of linear Diophantine equations over discrete domains | 82 |
|---|
A.A. Malykh, and A.V. Mantsivoda
Ontobox: Ontologies for Objects | 94 |
|---|
V.I. Martyanov
An Extended Twin Hypothesis and the Theory of Natural Numbers with Distinguished Primary Numbers | 105 |
|---|
N. A. Peryazev, I. A. Yakovjuk
Minimisation of multioperations in a class Standard forms | 117 |
|---|
A. G. Pinus
Aboutfamilies ofdefinable(formula) derivative objectsinuniversal algebras. | 127 |
|---|
L. V. Ryabets
The complexity of RF-tests for repetition-free boolean functions | 136 |
|---|
S. V. Sudoplatov
Inessential combinations of small theories | 158 |
|---|
N. O. Stukushin
Logical Formalizations of Specifications Based on OO-projections | 171 |
|---|
V. S. Ulyanov
Infinite Lazy Marked Trees | 183 |
|---|
Works of A.I. Kokorin | 194 |
|---|
