M
E
N
U
C
L
O
S
E
Strona główna
CV
Talks
zajęcia / courses
posts
login
M
i
k
o
ł
a
j
B
o
j
a
ń
c
z
y
k
Mikołaj Bojańczyk
T
h
i
s
s
i
t
e
u
s
e
s
c
o
o
k
i
e
s
☓
This site uses cookies ☓
more
zajęcia / courses
Algorithmic meta-theorems
Algorithmic meta-theorems
Programme
Algorithmic meta-theorems
Decision Problems for Linear Recurrence Sequences
Linear-time verification and synthesis
What is a recognisable language?
This one of the courses at the
Lipa Summer School
.
Stephan Kreutzer
Algorithmic meta-theorems
Videos:
1
,
2
,
3
,
4
Abstract TBA