|
|
Logical Perspectives 2021: Summer School and Workshop
June 15, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online
|
|
|
|
|
|
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 2
S. Winkler |
Number of views: |
This page: | 136 | Video files: | 26 | Materials: | 31 |
|
Supplementary materials:
school_winkler.pdf (120.7 Kb)
,
school_winkler_slides_2.pdf (6.2 Mb)
Language: English
Series of lectures
- Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 1
S. Winkler,
June 14, 2021 11:00
- Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 2
S. Winkler,
June 15, 2021 11:00
- Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 3
S. Winkler,
June 16, 2021 11:00
|
|