| 2001 |
|---|
| 16 | | Michael A. Taitslin:
A general condition for collapse results.
Ann. Pure Appl. Logic 113(1-3): 323-330 (2001) |
| 1999 |
|---|
| 15 | | Oleg V. Belegradek,
Alexei P. Stolboushkin,
Michael A. Taitslin:
Extended Order-Generic Queries.
Ann. Pure Appl. Logic 97(1-3): 85-125 (1999) |
| 14 | EE | Alexei P. Stolboushkin,
Michael A. Taitslin:
Normalizable linear orders and generic computations in finite models.
Arch. Math. Log. 38(4-5): 257-271 (1999) |
| 13 | | Alexei P. Stolboushkin,
Michael A. Taitslin:
Finite Queries Do Not Have Effective Syntax.
Inf. Comput. 153(1): 99-116 (1999) |
| 1998 |
|---|
| 12 | EE | Alexei P. Stolboushkin,
Michael A. Taitslin:
Safe Stratified Datalog with Integer Order Does Not Have Syntax.
ACM Trans. Database Syst. 23(1): 100-109 (1998) |
| 1997 |
|---|
| 11 | | Oleg V. Belegradek,
Alexei P. Stolboushkin,
Michael A. Taitslin:
Generic Queries over Quasy-o-minimal Domains.
LFCS 1997: 21-32 |
| 1996 |
|---|
| 10 | EE | Alexei P. Stolboushkin,
Michael A. Taitslin:
Linear vs. Order Contstrained Queries Over Rational Databases.
PODS 1996: 17-27 |
| 1995 |
|---|
| 9 | EE | Alexei P. Stolboushkin,
Michael A. Taitslin:
Finite Queries do not Have Effective Syntax.
PODS 1995: 277-285 |
| 8 | | Ilmir Kh. Musikaev,
Michael A. Taitslin:
Flat Backtracking Prolog for Databases: A Formal Semantics, the Computational Complexity and the Expressibility.
Int. J. Found. Comput. Sci. 6(1): 11-26 (1995) |
| 1994 |
|---|
| 7 | | Alexei P. Stolboushkin,
Michael A. Taitslin:
Is First Order Contained in an Initial Segment of PTIME?
CSL 1994: 242-248 |
| 6 | | Anil Nerode,
Michael A. Taitslin:
A Selection of Papers Presented at the Symposium "Logic at Tver '92" - Preface.
Ann. Pure Appl. Logic 67(1-3): 1 (1994) |
| 1993 |
|---|
| 5 | | Ilmir Kh. Musikaev,
Michael A. Taitslin:
Limitations of the Program Memory and the Expressive Power of Dynamic Logics
Inf. Comput. 103(2): 195-203 (1993) |
| 1992 |
|---|
| 4 | | Anil Nerode,
Michael A. Taitslin:
Logical Foundations of Computer Science - Tver '92, Second International Symposium, Tver, Russia, July 20-24, 1992, Proceedings
Springer 1992 |
| 1989 |
|---|
| 3 | | Albert R. Meyer,
Michael A. Taitslin:
Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings
Springer 1989 |
| 1983 |
|---|
| 2 | | Alexei P. Stolboushkin,
Michael A. Taitslin:
Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic
Information and Control 57(1): 48-55 (1983) |
| 1 | | Alexei P. Stolboushkin,
Michael A. Taitslin:
The Comparison of the Expressive Power of First-Order Dynamic Logics.
Theor. Comput. Sci. 27: 197-209 (1983) |
