Systems of agents controlled by logical programs: Complexity of verification von Valiev, M. K., Dekhtyar, M. I., Dikovsky, A. Ya

Volltext

Complexity of verification of nondeterministic probabilistic multiagent systems von Valiev, M. K., Dekhtyar, M. I.

Volltext

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems von M. K. Valiev, M. I. Dekhtyar

Volltext

On polynomial reducibility of word problem under embedding of recursively presented groups in finitely presented groups von Valiev, M. K.

Volltext

Decision complexity of variants of propositional dynamic logic von Valiev, M. K.

Volltext

On axiomatization of deterministic propositional dynamic logic von Valiev, M. K.

Volltext

Real time computations with restrictions on tape alphabet von Valiev, M. K.

Volltext

On axiomatization of process logic von Valiev, M. K.

Volltext

Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs von Dekhtyar, Michael I., Dikovsky, Alexander Ja, Valiev, Mars K.

Volltext

Universal group with twenty-one defining relations von Valiev, M.K.

Volltext

Π11-universality of some propositional logics of concurrent programs von VALIEV, M. K

Volltext

Certain estimates of the time of computations on turing machines with an input von Valiev, M. K.

Volltext

On the complexity of the identity problem for finitely defined groups von Valiev, M. K.

Volltext

One theorem of G. Higman von Valiev, M. K.

Volltext

Hierarchies of context-free languages with respect to their recognition times von Valiev, M. K., Dikovskii, A. Ya

Volltext

Enhanced service properties of a protective coating on a titanium alloy with an ultrafine-grained structure von Valiev, R.R., Modina, Y.M., Selivanov, K.S., Semenova, I.P., Khafizova, E.D., Valiev, R.Z., Savina, Ya.N.

Volltext

Influence of gas compression on flame acceleration in the early stage of burning in tubes von Valiev, Damir M., Akkerman, V’yacheslav, Kuznetsov, Mikhail, Eriksson, Lars-Erik, Law, Chung K., Bychkov, Vitaly

Volltext

Strength, grain refinement and solute nanostructures of an Al–Mg–Si alloy (AA6060) processed by high-pressure torsion von Sha, G., Tugcu, K., Liao, X.Z., Trimby, P.W., Murashkin, M.Y., Valiev, R.Z., Ringer, S.P.

Volltext

NWChem: A comprehensive and scalable open-source solution for large scale molecular simulations von Valiev, M., Bylaska, E.J., Govind, N., Kowalski, K., Straatsma, T.P., Van Dam, H.J.J., Wang, D., Nieplocha, J., Apra, E., Windus, T.L., de Jong, W.A.

Volltext

Enhanced Erosion Resistance of an Ultrafine-Grained Ti Alloy with a PVD Coating von Valiev, Roman R., Selivanov, Konstantin S., Smyslova, Marina K., Dyblenko, Yuri M., Savina, Yana N., Valiev, Ruslan Z., Semenova, Irina P.

Volltext