Get started
Author

Michael A. Taitslin

Observed names: M A Taitslin, M A Taĭtslin, M. A. Taitslin, M. A. Taĭtslin, M. Taitslin, M.A. Taitslin, Michael Abram Taitslin, Michael Taitslin, М. Тайцлин
Observed institution: Tver State University
OpenAlex ID: A5113727596
Elementary Theories
1965 · Yu L Ershov, I A Lavrov, et al. · Russian Mathematical Surveys · 110
Extended order-generic queries
1999 · Oleg V. Belegradek, Alexei P. Stolboushkin, et al. · Annals of Pure and Applied Logic · 47
Deterministic dynamic logic is strictly weaker than dynamic logic
1983 · A.P. Stolboushkin, M.A. Taitslin · Information and Control · 37
On Elementary Properties of Existentially Closed Systems
1979 · V Ya Belyaev, M A Taitslin · Russian Mathematical Surveys · 28
Categorial quasivarieties
1972 · A. I. Abakumov, E. A. Palyutin, et al. · Algebra and Logic · 25
Finite Queries Do Not Have Effective Syntax
1999 · Alexei P. Stolboushkin, Michael A. Taitslin · Information and Computation · 18
Linear vs. order constraint queries over rational databases (extended abstract)
1996 · Alexei P. Stolboushkin, Michael A. Taitslin · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · 15
Неразрешимость некоторых теорий
1963 · Ю.Л. Ершов, Michael A. Taitslin, et al. · Algebra i logika · 14
Finite queries do not have effective syntax
1995 · Alexei P. Stolboushkin, Michael A. Taitslin · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · 13
PDF
Collapse results for query languages in database theory
2006 · S M Dudakov, M A Taitslin · Russian Mathematical Surveys · 11
A general condition for collapse results
2001 · Michael A. Taitslin · Annals of Pure and Applied Logic · 11
Safe stratified Datalog with integer order does not have syntax
1998 · Alexei P. Stolboushkin, Michael A. Taitslin · ACM Transactions on Database Systems · 11
PDF
On Order-Generic Queries
1996 · Oleg Belegradek, Alexei P. Stolboushkin, et al. · 9
The isomorphism problem for commutative semigroups
1968 · M. A. Taitslin · Siberian Mathematical Journal · 9
Трансляционные результаты для языков запросов в теории баз данных
2006 · Сергей Михайлович Дудаков, Sergey Mikhailovich Dudakov, et al. · Успехи математических наук · 8
PDF
Generic queries over quasi-o-minimal domains
1997 · Oleg V. Belegradek, Alexei P. Stolboushkin, et al. · Lecture notes in computer science · 8
A logic for data description
1989 · D. A. Arhangelsky, M. A. Taitslin · Lecture notes in computer science · 8
Elementary lattice theories for ideals in polynomial rings
1968 · M. A. Taitslin · Algebra and Logic · 7
Is first order contained in an initial segment of PTIME?
1995 · Alexei P. Stolboushkin, Michael A. Taitslin · Lecture notes in computer science · 6
Logic at Botik'89 Symposium on logical foundations of computer science
1989 · Albert R. Meyer, Michael A. Taitslin · Springer eBooks · 6
On elementary theories of lattices of subgroups
1970 · M. A. Taitslin · Algebra and Logic · 6
The comparison of the expressive power of first-order dynamic logics
1983 · A.P. Stolboushkin, M.A. Taitslin · Theoretical Computer Science · 5
Equivalence of automata relative to a commutative semigroup
1969 · M. A. Taitslin · Algebra and Logic · 5
Ограниченные псевдоконечная однородность и изолированность
2003 · Michael A. Taitslin · Tver State University Repository (Tver State University) · 3
On problems of databases over a fixed infinite universe
1999 · Oleg Belegradek, Alexei Stolboushkin, et al. · Banach Center Publications · 3
PDF
Works count: 47
Citation count: 441
H-index: 11
I10-index: 12
Year
Topic
Type