Информационная система "Конференции"

List reports

Number of reports: 92

[1]

[41]

[81]

81. Tung S.P. Computational Complexity Of Sentences Over Fields

82. Vardi M.Y. Buechi Complementation: A Forty-Year Saga

83. Vassiliev E.V. Some applications of elementary pairs of models

84. Verbovskiy V.V. On elimination of imaginaries for generic structures

85. Vinokurov N.S. Homogeneous automatic structures

86. Vityaev E.E. Logic and Probability synthesis in the prediction notion

87. Voronkov A. The theory and practice of automated reasoning in first-order.

88. Wolff K.E. Conceptual Semantic Systems - Theory and Applications

89. Wu G. Intervals containing exactly one c.e. degree

90. Yakhyaeva G.E. About fuzzy logic of final set of experts

91. Yeshkeyev A.R. On J-stability of Jonsson's theories.

92. Zhao X. Complexity Results on Minimal Unsatisfiable Formulas

[1]

[41]

[81]

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home