documents   about archive   about project   Andrei Ershov   in Russian

Archive Editorial activity A.P. Ershov's contribution to the "Theoretical Computer Science" Journal TCS. Article by A.P.Stolboushkin and M.A.Taitslin Article

	Article "The comparison of the expressive power of first-order dynamic logics". Date: 29.10.1982 Original document language: English Authors: Michael M. Taitslin, Alexei P. Stolboushkin Images of pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 Back Previous document (Petition)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016