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

Yuri Matiyasevich Vis

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

*2009
27EEYuri Matiyasevich: Existential arithmetization of Diophantine equations. Ann. Pure Appl. Logic 157(2-3): 225-233 (2009)
26EEVesa Halava, Jarkko Kari, Yuri Matiyasevich: On post correspondence problem for letter monotonic languages. Theor. Comput. Sci. 410(30-32): 2957-2960 (2009)
2006
25EEPatrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich: Window Subsequence Problems for Compressed Texts. CSR 2006: 127-136
24EEYuri Matiyasevich, Sergei N. Artëmov: Preface. Ann. Pure Appl. Logic 141(3): 307 (2006)
23EEPatrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Multiple serial episode matching CoRR abs/cs/0603050: (2006)
22EEPatrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Multiple serial episodes matching. Inf. Process. Lett. 98(6): 211-218 (2006)
2005
21EEYuri Matiyasevich: Hilbert's Tenth Problem and Paradigms of Computation. CiE 2005: 310-321
20EEYuri Matiyasevich, Géraud Sénizergues: Decision problems for semi-Thue systems with a few rules. Theor. Comput. Sci. 330(1): 145-169 (2005)
2004
19EEYuri Matiyasevich: Some probabilistic restatements of the Four Color Conjecture. Journal of Graph Theory 46(3): 167-179 (2004)
18EEYuri Matiyasevich: Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets. Mathematics and Computers in Simulation 67(1-2): 125-133 (2004)
2003
17EEDanièle Beauquier, Dimitri Grigoriev, Yuri Matiyasevich: Biography of A.O. Slissenko. Theor. Comput. Sci. 1(303): 3-5 (2003)
2001
16 Yuri Matiyasevich: Preface. Ann. Pure Appl. Logic 113(1-3): 1- (2001)
15 Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Window-accumulated subsequence matching problem is linear. Ann. Pure Appl. Logic 113(1-3): 59-80 (2001)
14EEYuri Matiyasevich: Some arithmetical restatements of the Four Color Conjecture. Theor. Comput. Sci. 257(1-2): 167-183 (2001)
1999
13EELuc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Window-Accumulated Subsequence Matching Problem is Linear. PODS 1999: 327-336
12EEVolker Diekert, Yuri Matiyasevich, Anca Muscholl: Solving Word Equations modulo Partial Commutations. Theor. Comput. Sci. 224(1-2): 215-235 (1999)
1998
11 Yuri Matiyasevich: Universal Polynomials. MCU (1) 1998: 1-20
1997
10EEVolker Diekert, Yuri Matiyasevich, Anca Muscholl: Solving Trace Equations Using Lexicographical Normal Forms. ICALP 1997: 336-346
9 Yuri Matiyasevich: Some Decision Problems for Traces. LFCS 1997: 248-257
1996
8 Anatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov: Simultaneous E-Unification and Related Algorithmic Problems. LICS 1996: 494-502
7 Yuri Matiyasevich, Géraud Sénizergues: Decision Problems for Semi-Thue Systems with a Few Rules. LICS 1996: 523-531
6 Yuri Matiyasevich, Anil Nerode: Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science ``Logic at St. Petersburg''. Ann. Pure Appl. Logic 78(1-3): 1 (1996)
5 Patrick Cégielski, Yuri Matiyasevich, Denis Richard: Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate. J. Symb. Log. 61(2): 515-540 (1996)
1995
4EEYuri Matiyasevich: On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract). RTA 1995: 1
1994
3 Anil Nerode, Yuri Matiyasevich: Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings Springer 1994
2 Yuri Matiyasevich: A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations. Ann. Pure Appl. Logic 67(1-3): 325-348 (1994)
1993
1 Yuri Matiyasevich: Word Problem for Thue Systems with a Few Relations. Term Rewriting 1993: 39-53

Coauthor Index

1Sergei N. Artëmov [24]
2Danièle Beauquier [17]
3Luc Boasson [13] [15]
4Patrick Cégielski [5] [13] [15] [22] [23] [25]
5Anatoli Degtyarev [8]
6Volker Diekert [10] [12]
7Dimitri Grigoriev [17]
8Irène Guessarian [13] [15] [22] [23] [25]
9Vesa Halava [26]
10Jarkko Kari [26]
11Yury Lifshits [25]
12Anca Muscholl [10] [12]
13Anil Nerode [3] [6]
14Denis Richard [5]
15Géraud Sénizergues [7] [20]
16Andrei Voronkov [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)