Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Matiyasevich, Yuri"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Turing talk - Alan Turing and number theory
Yuri V. Matiyasevich
Lecture Notes in Computer Science
7353
, 2012, pp. XI-XI
On post correspondence problem for letter monotonic languages
Vesa Halava
,
Jarkko Kari
,
Yuri Matiyasevich
Theoretical Computer Science
410
(30-32), 2009, pp. 2957-2960
Multiple serial episodes matching
Patrick Cégielski
,
Irene Guessarian
,
Yuri Matiyasevich
Information Processing Letters
98
(6), 2006, pp. 211-218
Decision problems for semi-Thue systems with a few rules
Yuri Matiyasevich
,
Géraud Sénizergues
Theoretical Computer Science
330
(1), 2005, pp. 145-169
Some probabilistic restatements of the Four Color Conjecture
Yuri Matiyasevich
Journal of Graph Theory
46
(3), 2004, pp. 167-179
Some arithmetical restatements of the Four Color Conjecture
Yuri Matiyasevich
Theoretical Computer Science
257
(1-2), 2001, pp. 167-183
Solving word equations modulo partial commutations
Volker Diekert
,
Yuri Matiyasevich
,
Anca Muscholl
Theoretical Computer Science
224
(1-2), 1999, pp. 215-235
A binomial representation of the
3x+1
problem
Maurice Margenstern
,
Yuri Matiyasevich
misc, 1999
Window-accumulated subsequence matching problem is linear
Luc Boasson
,
Patrick Cegielski
,
Irène Guessarian
,
Yuri Matiyasevich
misc, 1998
Solving trace equations using lexicographical normal forms
Volker Diekert
,
Yuri Matiyasevich
,
Anca Muscholl
Lecture Notes in Computer Science
1256
, 1997, pp. 336-346
Some decision problems for traces
Yuri Matiyasevich
Lecture Notes in Computer Science
1234
, 1997, pp. 248-257