dblp.uni-trier.dewww.uni-trier.de

Michael A. Taitslin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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)
14EEAlexei 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
12EEAlexei 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
10EEAlexei P. Stolboushkin, Michael A. Taitslin: Linear vs. Order Contstrained Queries Over Rational Databases. PODS 1996: 17-27
1995
9EEAlexei 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)

Coauthor Index

1Oleg V. Belegradek [11] [15]
2Albert R. Meyer [3]
3Ilmir Kh. Musikaev [5] [8]
4Anil Nerode [4] [6]
5Alexei P. Stolboushkin [1] [2] [7] [9] [10] [11] [12] [13] [14] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)