|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuri Matiyasevich |
One More Probabilistic Reformulation of the Four Colour Conjecture.  |
Combinatorics, Probability & Computing  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei N. Artëmov, Yuri Matiyasevich, Grigori Mints, Anatol Slissenko |
Preface. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Jarkko Kari, Yuri Matiyasevich |
On post correspondence problem for letter monotonic languages. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Existential arithmetization of Diophantine equations. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich |
Tree inclusion problems. |
ITA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich |
Multiple serial episodes matching. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich, Sergei N. Artëmov |
Preface. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich |
Multiple serial episode matching |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich |
Window Subsequence Problems for Compressed Texts. |
CSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich, Géraud Sénizergues |
Decision problems for semi-Thue systems with a few rules. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Hilbert's Tenth Problem and Paradigms of Computation. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets. |
Mathematics and Computers in Simulation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Some probabilistic restatements of the Four Color Conjecture. |
Journal of Graph Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Danièle Beauquier, Dimitri Grigoriev, Yuri Matiyasevich |
Biography of A.O. Slissenko. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Some arithmetical restatements of the Four Color Conjecture. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich |
Window-accumulated subsequence matching problem is linear. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Preface. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Yuri Matiyasevich, Anca Muscholl |
Solving Word Equations modulo Partial Commutations. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich |
Window-Accumulated Subsequence Matching Problem is Linear. |
PODS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Universal Polynomials. |
MCU |
1998 |
DBLP BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Some Decision Problems for Traces. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Yuri Matiyasevich, Anca Muscholl |
Solving Trace Equations Using Lexicographical Normal Forms. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cégielski, Yuri Matiyasevich, Denis Richard |
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate. |
J. Symb. Log. |
1996 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Yuri Matiyasevich, Géraud Sénizergues |
Decision Problems for Semi-Thue Systems with a Few Rules. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Yuri Matiyasevich, Andrei Voronkov |
Simultaneous E-Unification and Related Algorithmic Problems. |
LICS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract). |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Nerode, Yuri Matiyasevich (eds.) |
Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings |
LFCS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Yuri Matiyasevich |
Word Problem for Thue Systems with a Few Relations. |
Term Rewriting |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")