|
ВИДЕОТЕКА |
Международная конференция «Logical Models of Reasoning and Computation»
|
|||
|
On a method of proving exact bounds on derivational complexity in length preserving Thue systems Sergei Adian Steklov Institute of Mathematics, Moscow |
|||
Язык доклада: английский |