|
|
Logical Perspectives 2021: Summer School and Workshop
June 14, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online
|
|
|
 |
|
|
|
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 1
S. Winkler |
| Number of views: |
| This page: | 209 | | Video files: | 47 | | Materials: | 38 |
|
Supplementary materials:
school_winkler.pdf (120.7 Kb)
,
school_winkler_slides_1.pdf (4.8 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
|
|
Contact us: