By Baibikov F.   Vlasov G.   Kozen A.   Buravtseva G.   Balduev M.   in Russian Journal of Applied Chemistry

ISSN:1070-4272|82|9|1721-1728

MAIK Nauka/Interperiodica‎(2009)‎

Access to resources Favorite 6.4522552

By Kozen D.   in Information and Computation

ISSN:0890-5401|179|2|152-162

Academic Press‎(2002)‎

Access to resources Favorite 2.7621827

By Kozen D.   in Theoretical Computer Science

ISSN:0304-3975|167|1|73-94

Elsevier‎(1996)‎

Access to resources Favorite 2.7621827

By Kozen D.   in Information and Computation

ISSN:0890-5401|142|1|2-25

Academic Press‎(1998)‎

Access to resources Favorite 2.7621827

By Kozen Dexter   Silva Alexandra   in American Mathematical Monthly

ISSN:1930-0972|120|2|131-139

Mathematical Association of America‎(2013)‎

Access to resources Favorite 2.2097461

By Kozen D.   Stefansson K.   in Journal of Symbolic Computation

ISSN:0747-7171|24|2|125-136

Academic Press‎(1997)‎

Access to resources Favorite 2.2097461

By Kozen D.   Landau S.   Zippel R.   in Journal of Symbolic Computation

ISSN:0747-7171|22|3|235-246

Academic Press‎(1996)‎

Access to resources Favorite 1.6573095

Dynamic Logic‎

By Harel   David;Kozen   Dexter;Tiuryn   Jerzy  

ISBN:9780262274951

MIT Press‎(2000)‎

Access to resources Favorite 1.6573095

By Iseki Kunitoshi   Ikemiya Yoshiharu   Kinjo Kozen   Iseki Chiho   Takishita Shuichi   in Clinical and Experimental Nephrology

ISSN:1342-1751|8|3|250-256

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 1.3810914