Concepedia

Michael A. Taitslin

MA

Statistics

Publications

10

Citations

289

H-Index

10

Active since

1965

Affiliations

Tver State University(Current)

University of California, Los Angeles

Michael A. Taitslin is an author at Tver State University specializing in computer science, mathematics, and computing.

Publications per year

1965–2006

10

Publications

10

ELEMENTARY THEORIES

Yu. L. Ershov, I. A. Lavrov, A. D. Taĭmanov et al. · Russian Mathematical Surveys · 1965 · 97 citations

Extended order-generic queries

Oleg Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin · Annals of Pure and Applied Logic · 1999 · 47 citations

Deterministic dynamic logic is strictly weaker than dynamic logic

Alexei P. Stolboushkin, Michael A. Taitslin · Information and Control · 1983 · 38 citations

, , +8

ON ELEMENTARY PROPERTIES OF EXISTENTIALLY CLOSED SYSTEMS

V. Ya. Belyaev, Michael A. Taitslin · Russian Mathematical Surveys · 1979 · 29 citations

, , +12

Finite Queries Do Not Have Effective Syntax

Alexei P. Stolboushkin, Michael A. Taitslin · Information and Computation · 1999 · 17 citations

, , +8

1–5 of 10