У нас вы можете посмотреть бесплатно Kleene Algebras: Theory and Applications или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Kleene Algebra is an algebraic structure generalizing operations of regular expressions. However, applications of this theory are not limited just to string matching: it can also be used to reason about binary relations, perform paths search in graphs, prove properties of imperative programs and more. In this talk we will touch various extensions of the Kleene Algebras theory (with tests, intersection, transposition, concurrency, etc) and overview their applications. Speaker: Evgenii Moiseenko Meetup Group: https://www.meetup.com/programming-la...