Michael A. Taitslin

16 papers A* 2B 1Misc 2Journal 10
YearRankTypeTitle / Venue / Authors
2001 J jnl
A general condition for collapse results.
Ann. Pure Appl. Log.
Michael A. Taitslin
1999 J jnl
Extended Order-Generic Queries.
Ann. Pure Appl. Log.
Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin
1999 J jnl
Finite Queries Do Not Have Effective Syntax.
Inf. Comput.
Alexei P. Stolboushkin, Michael A. Taitslin
1999 J jnl
Normalizable linear orders and generic computations in finite models.
Arch. Math. Log.
Alexei P. Stolboushkin, Michael A. Taitslin
1998 J jnl
Safe Stratified Datalog with Integer Order Does Not Have Syntax.
ACM Trans. Database Syst.
Alexei P. Stolboushkin, Michael A. Taitslin
1997 Misc conf
Generic Queries over Quasy-o-minimal Domains.
LFCS
Oleg V. Belegradek, Alexei P. Stolboushkin, Michael A. Taitslin
1996 A* conf
Linear vs. Order Contstrained Queries Over Rational Databases.
PODS
Alexei P. Stolboushkin, Michael A. Taitslin
1995 A* conf
Finite Queries do not Have Effective Syntax.
PODS
Alexei P. Stolboushkin, Michael A. Taitslin
1995 J jnl
Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility.
Int. J. Found. Comput. Sci.
Ilmir Kh. Musikaev, Michael A. Taitslin
1994 J jnl
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface.
Ann. Pure Appl. Log.
Anil Nerode, Michael A. Taitslin
1994 B conf
Is First Order Contained in an Initial Segment of PTIME?
CSL
Alexei P. Stolboushkin, Michael A. Taitslin
1993 J jnl
Limitations of the Program Memory and the Expressive Power of Dynamic Logics
Inf. Comput.
Ilmir Kh. Musikaev, Michael A. Taitslin
1992 Misc ed.
Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings
LFCS
Anil Nerode, Michael A. Taitslin
1989 — ed.
Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings
Logic at Botik
Albert R. Meyer, Michael A. Taitslin
1983 J jnl
Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic
Inf. Control.
Alexei P. Stolboushkin, Michael A. Taitslin
1983 J jnl
The Comparison of the Expressive Power of First-Order Dynamic Logics.
Theor. Comput. Sci.
Alexei P. Stolboushkin, Michael A. Taitslin