THE RECOGNITION COMPLEXITY OF DECIDABLE THEORIES von Latkin, Ivan

Volltext

On Constructive Nilpotent Groups von Khisamiev, Nazif G., Latkin, Ivan V.

Volltext

A correspondence between the time and space complexity von Latkin, Ivan V

Volltext bestellen

The complexity of the first-order theory of pure equality von Latkin, Ivan V

Volltext

A correspondence between the time and space complexity von Latkin, Ivan V

Volltext

DEVICE FOR LAUNCHING SHIPS INTO WATER AND HAULING OUT VESSELS von REVENKO NIKOLAJ ,SU, SOFMAN BORIS L,SU, CHEREVATYJ ANATOLIJ A,SU, PODBELTSEV VIKTOR ,SU, MAZEPOV VITALIJ G,SU, KOSORUCHENKO ALEKSANDR G,SU, LATKIN YURIJ A,SU, GONCHARENKO IVAN D,SU, GUDZE ARNOLD A,SU, YAMSHCHIK ILYA ,SU

Volltext bestellen