Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michael A. Taitslin
@article{DBLP:journals/apal/Taitslin01,
author = {Michael A. Taitslin},
title = {A general condition for collapse results},
journal = {Ann. Pure Appl. Log.},
volume = {113},
number = {1-3},
pages = {323--330},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(01)00064-1},
doi = {10.1016/S0168-0072(01)00064-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Taitslin01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/StolboushkinT99,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
title = {Normalizable linear orders and generic computations in finite models},
journal = {Arch. Math. Log.},
volume = {38},
number = {4-5},
pages = {257--271},
year = {1999},
url = {https://doi.org/10.1007/s001530050128},
doi = {10.1007/S001530050128},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/StolboushkinT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BelegradekST99,
author = {Oleg V. Belegradek and
Alexei P. Stolboushkin and
Michael A. Taitslin},
title = {Extended Order-Generic Queries},
journal = {Ann. Pure Appl. Log.},
volume = {97},
number = {1-3},
pages = {85--125},
year = {1999},
url = {https://doi.org/10.1016/S0168-0072(98)00025-6},
doi = {10.1016/S0168-0072(98)00025-6},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BelegradekST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/StolboushkinT99,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
title = {Finite Queries Do Not Have Effective Syntax},
journal = {Inf. Comput.},
volume = {153},
number = {1},
pages = {99--116},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2792},
doi = {10.1006/INCO.1999.2792},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/StolboushkinT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/StolboushkinT98,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
title = {Safe Stratified Datalog with Integer Order Does Not Have Syntax},
journal = {{ACM} Trans. Database Syst.},
volume = {23},
number = {1},
pages = {100--109},
year = {1998},
url = {https://doi.org/10.1145/288086.288089},
doi = {10.1145/288086.288089},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/StolboushkinT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/ArchangelskyT97,
author = {Dmitry A. Archangelsky and
Mikhail A. Taitslin},
title = {A Logic for Information Systems},
journal = {Stud Logica},
volume = {58},
number = {1},
pages = {3--16},
year = {1997},
url = {https://doi.org/10.1023/A:1004927613994},
doi = {10.1023/A:1004927613994},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/ArchangelskyT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/BelegradekST97,
author = {Oleg V. Belegradek and
Alexei P. Stolboushkin and
Michael A. Taitslin},
editor = {Sergei I. Adian and
Anil Nerode},
title = {Generic Queries over Quasy-o-minimal Domains},
booktitle = {Logical Foundations of Computer Science, 4th International Symposium,
LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1234},
pages = {21--32},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63045-7\_3},
doi = {10.1007/3-540-63045-7\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/BelegradekST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArchangelskyDT96,
author = {Dmitry A. Archangelsky and
Michael I. Dekhtyar and
Mikhail A. Taitslin},
title = {Linear Logic for Nets with Bounded Resources},
journal = {Ann. Pure Appl. Log.},
volume = {78},
number = {1-3},
pages = {3--28},
year = {1996},
url = {https://doi.org/10.1016/0168-0072(95)00015-1},
doi = {10.1016/0168-0072(95)00015-1},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ArchangelskyDT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/StolboushkinT96,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
editor = {Richard Hull},
title = {Linear vs. Order Contstrained Queries Over Rational Databases},
booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
pages = {17--27},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237661.237669},
doi = {10.1145/237661.237669},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/StolboushkinT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/MusikaevT95,
author = {Ilmir Kh. Musikaev and
Michael A. Taitslin},
title = {Flat Backtracking Prolog for Databases: {A} Formal Semantics, the
Computational Complexity and the Expressibility},
journal = {Int. J. Found. Comput. Sci.},
volume = {6},
number = {1},
pages = {11--26},
year = {1995},
url = {https://doi.org/10.1142/S0129054195000032},
doi = {10.1142/S0129054195000032},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/MusikaevT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/StoloboushkinT95,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
editor = {Mihalis Yannakakis and
Serge Abiteboul},
title = {Finite Queries do not Have Effective Syntax},
booktitle = {Proceedings of the Fourteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, May 22-25, 1995, San Jose, California,
{USA}},
pages = {277--285},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/212433.212477},
doi = {10.1145/212433.212477},
timestamp = {Sat, 24 Oct 2020 16:41:20 +0200},
biburl = {https://dblp.org/rec/conf/pods/StoloboushkinT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NerodeT94,
author = {Anil Nerode and
Michael A. Taitslin},
title = {A Selection of Papers Presented at the Symposium "Logic at Tver
'92" - Preface},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {1},
year = {1994},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NerodeT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArchangelskyT94,
author = {Dmitry A. Archangelsky and
Mikhail A. Taitslin},
title = {Linear Logic with Fixed Resources},
journal = {Ann. Pure Appl. Log.},
volume = {67},
number = {1-3},
pages = {3--28},
year = {1994},
url = {https://doi.org/10.1016/0168-0072(94)90006-X},
doi = {10.1016/0168-0072(94)90006-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/ArchangelskyT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/StolboushkinT94,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
editor = {Leszek Pacholski and
Jerzy Tiuryn},
title = {Is First Order Contained in an Initial Segment of PTIME?},
booktitle = {Computer Science Logic, 8th International Workshop, {CSL} '94, Kazimierz,
Poland, September 25-30, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {933},
pages = {242--248},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0022260},
doi = {10.1007/BFB0022260},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/StolboushkinT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArchangelskyDKMT94,
author = {Dmitry A. Archangelsky and
Michael I. Dekhtyar and
Evgeny Kruglov and
Ilmir Kh. Musikaev and
Mikhail A. Taitslin},
editor = {Anil Nerode and
Yuri V. Matiyasevich},
title = {Concurrency Problem for Horn Fragment of Girard's Linear Logic},
booktitle = {Logical Foundations of Computer Science, Third International Symposium,
LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {813},
pages = {18--22},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58140-5\_3},
doi = {10.1007/3-540-58140-5\_3},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArchangelskyDKMT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MusikaevT93,
author = {Ilmir Kh. Musikaev and
Michael A. Taitslin},
title = {Limitations of the Program Memory and the Expressive Power of Dynamic
Logics},
journal = {Inf. Comput.},
volume = {103},
number = {2},
pages = {195--203},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1018},
doi = {10.1006/INCO.1993.1018},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MusikaevT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/TaitslinA93,
author = {Mikhail A. Taitslin and
D. Arkhangelsky},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {The Other Linear Logic (Invited Paper)},
booktitle = {Formal Methods in Programming and Their Applications, International
Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {735},
pages = {251--255},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0039712},
doi = {10.1007/BFB0039712},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/TaitslinA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/ArchangelskyT92,
author = {Dmitry A. Archangelsky and
Mikhail A. Taitslin},
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Modular Linear Logic},
booktitle = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
pages = {1--8},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023858},
doi = {10.1007/BFB0023858},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/ArchangelskyT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lfcs/1992,
editor = {Anil Nerode and
Michael A. Taitslin},
title = {Logical Foundations of Computer Science - Tver '92, Second International
Symposium, Tver, Russia, July 20-24, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {620},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0023857},
doi = {10.1007/BFB0023857},
isbn = {3-540-55707-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/ArchangelskyT89,
author = {Dmitry A. Archangelsky and
Mikhail A. Taitslin},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Logic for Data Description},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {2--11},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_2},
doi = {10.1007/3-540-51237-3\_2},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/ArchangelskyT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/1989,
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3},
doi = {10.1007/3-540-51237-3},
isbn = {3-540-51237-3},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/StolboushkinT83,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
title = {Deterministic Dynamic Logic is Strictly Weaker than Dynamic Logic},
journal = {Inf. Control.},
volume = {57},
number = {1},
pages = {48--55},
year = {1983},
url = {https://doi.org/10.1016/S0019-9958(83)80024-2},
doi = {10.1016/S0019-9958(83)80024-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/StolboushkinT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/StolboushkinT83,
author = {Alexei P. Stolboushkin and
Michael A. Taitslin},
title = {The Comparison of the Expressive Power of First-Order Dynamic Logics},
journal = {Theor. Comput. Sci.},
volume = {27},
pages = {197--209},
year = {1983},
url = {https://doi.org/10.1016/0304-3975(83)90099-3},
doi = {10.1016/0304-3975(83)90099-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/StolboushkinT83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
