Yuri V. Matiyasevich

发表

Some probabilistic restatements of the Four Color Conjecture

Yuri V. Matiyasevich, Y. Matiyasevich, 2004, J. Graph Theory.

A Direct Method for Simulating Partial Recursive Functions by Diophantine Equations

Yuri V. Matiyasevich, Y. Matiyasevich, 1994, Ann. Pure Appl. Log..

Some Decision Problems for Traces

Yuri V. Matiyasevich, 1997, LFCS.

One More Probabilistic Reformulation of the Four Colour Conjecture

Yuri V. Matiyasevich, 2010, Comb. Probab. Comput..

Multiple serial episode matching pdf

Yuri V. Matiyasevich, Irène Guessarian, Patrick Cégielski, 2006, ArXiv.

Decision problems for semi-Thue systems with a few rules

Yuri V. Matiyasevich, Géraud Sénizergues, 2005, Theor. Comput. Sci..

Universal Polynomials

Yuri V. Matiyasevich, 1998, MCU.

Preface

Sergei N. Artëmov, Yuri V. Matiyasevich, 2006, Ann. Pure Appl. Log..

Solving Word Equations modulo Partial Commutations

Anca Muscholl, Volker Diekert, Yuri V. Matiyasevich, 1999, Theor. Comput. Sci..

Window-accumulated subsequence matching problem is linear

Luc Boasson, Yuri V. Matiyasevich, Irène Guessarian, 1999, PODS '99.

Window Subsequence Problems for Compressed Texts

Yury Lifshits, Yuri V. Matiyasevich, Irène Guessarian, 2006, CSR.

Window-accumulated subsequence matching problem is linear

Luc Boasson, Yuri V. Matiyasevich, Irène Guessarian, 1999, Ann. Pure Appl. Log..

A Parallel Algorithm for Calculation of Large Determinants with High Accuracy for GPUs and MPI clusters pdf

Gleb Beliakov, Yuri V. Matiyasevich, 2013, ArXiv.

Martin Davis and Hilbert's Tenth Problem

Yuri V. Matiyasevich, Y. Matiyasevich, 2016, Martin Davis on Computability, Computational Logic, and Mathematical Foundations.

On Some Mathematical Logic Contributions to Rewriting Techniques: Lost Heritage (Abstract)

Yuri V. Matiyasevich, 1995, RTA.

Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets

Yuri V. Matiyasevich, 2004, Math. Comput. Simul..

Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate

Yuri V. Matiyasevich, Patrick Cégielski, Denis Richard, 1996, J. Symb. Log..

Hilbert's Tenth Problem and Paradigms of Computation

Yuri V. Matiyasevich, 2005, CiE.

Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics

Yuri V. Matiyasevich, 2012, IJCAR.

Simultaneous rigid E-unification and related algorithmic problems

Andrei Voronkov, Yuri V. Matiyasevich, Anatoli Degtyarev, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

Decision problems for semi-Thue systems with a few rules

Yuri V. Matiyasevich, Géraud Sénizergues, Géraud Sénizergues, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

Solving Trace Equations Using Lexicographical Normal Forms

Anca Muscholl, Volker Diekert, Yuri V. Matiyasevich, 1997, ICALP.

Preface

Juhani Karhumäki, Vesa Halava, Yuri V. Matiyasevich, 2014, Fundam. Informaticae.

On post correspondence problem for letter monotonic languages

Jarkko Kari, Vesa Halava, Yuri V. Matiyasevich, 2009, Theor. Comput. Sci..

Existential arithmetization of Diophantine equations

Yuri V. Matiyasevich, 2009, Ann. Pure Appl. Log..

Hilbert's 10th Problem

Yuri V. Matiyasevich, Y. Matiyasevich, 1993 .

Interval Computations as Propagation of Constraints

Yuri V. Matiyasevich, 1993, NATO ASI CP.

Perface

Juhani Karhumäki, Vesa Halava, Yuri V. Matiyasevich, 2018, Fundam. Informaticae.

Multiple serial episode matching

Yuri V. Matiyasevich, Irène Guessarian, Patrick Cégielski, 2006, Inf. Process. Lett..

Biography of A.O. Slissenko

Danièle Beauquier, Yuri V. Matiyasevich, Dimitri Grigoriev, 2003, Theor. Comput. Sci..

Preface

Juhani Karhumäki, Yuri V. Matiyasevich, V. Mazalov, 2016, Fundam. Informaticae.

Small Semi-Thue System Universal with Respect to the Termination Problem

Vesa Halava, Yuri V. Matiyasevich, Reino Niskanen, 2017, Fundam. Informaticae.

Tree inclusion problems

Yuri V. Matiyasevich, Irène Guessarian, Patrick Cégielski, 2008, RAIRO Theor. Informatics Appl..

Preface

Yuri V. Matiyasevich, 2001, Ann. Pure Appl. Log..

Preface

Grigori Mints, Sergei N. Artëmov, Anatol Slissenko, 2010, Annals of Pure and Applied Logic.

Computational Rediscovery of Ramanujan's Tau Numbers

Yuri V. Matiyasevich, 2018, Integers.

Approximation of Riemann’s Zeta Function by Finite Dirichlet Series: A Multiprecision Numerical Approach

Gleb Beliakov, Yuri V. Matiyasevich, 2015, Exp. Math..

Word Problem for Thue Systems with a Few Relations

Yuri V. Matiyasevich, 1993, Term Rewriting.

Some arithmetical restatements of the Four Color Conjecture

Yuri V. Matiyasevich, 2001, Theor. Comput. Sci..

Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg"

Anil Nerode, Yuri V. Matiyasevich, A. Nerode, 1996, Ann. Pure Appl. Log..