Скачать
[IFIP WG 1.6 - 2021] Decidable Fragments of First-order Logic via Termination of Rewriting
Автор: FSCD 2021
Загружено: 2021-07-28
Просмотров: 52
Описание:
Annual Meeting of the IFIP WG 1.6: Rewriting
Title: Decidable Fragments of First-order Logic via Termination of Rewriting
Presenter:
Sarah Winkler (University of Bozen-Bolzano)
Created with Clowdr: https://clowdr.org/
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
![[IFIP WG 1.6 - 2021] Decidable Fragments of First-order Logic via Termination of Rewriting](https://ricktube.ru/thumbnail/CHm7_8jvuAM/hq720.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[LSFA 2021] SeCaV: A Sequent Calculus Verifier in Isabelle/HOL](https://ricktube.ru/thumbnail/BAVdpTUn9w4/mqdefault.jpg)
![[IWC 2021] The quest for modular confluence of rewrite rules in type theory](https://ricktube.ru/thumbnail/9Ly-qEA0-IE/mqdefault.jpg)
![Glow Up Lounge | Dark Ambient [Beat to sleep/relax] #darkambient #relax](https://ricktube.ru/thumbnail/vNggA-mbS1s/mqdefault.jpg)
