RUS
ENG
Full version
PEOPLE
Winkler Sarah
Presentations in Math-Net.Ru
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 3
S. Winkler
Logical Perspectives 2021: Summer School and Workshop
June 16, 2021
11:00
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 2
S. Winkler
Logical Perspectives 2021: Summer School and Workshop
June 15, 2021
11:00
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 1
S. Winkler
Logical Perspectives 2021: Summer School and Workshop
June 14, 2021
11:00
©
Steklov Math. Inst. of RAS
, 2024