Video library: Sergei Adian, On a method of proving exact bounds on derivational complexity in length preserving Thue systems

Videolibrary

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

International workshop "Logical Models of Reasoning and Computation"
February 1, 2012 15:30, Moscow, Steklov Mathematical Institute

On a method of proving exact bounds on derivational complexity in length preserving Thue systems

Sergei Adian

Steklov Institute of Mathematics, Moscow

Language: English