14 - Theorie der Programmierung/ClipID:11620 previous clip next clip

Keywords: Church Rosser Strip Lemma Redex Markiert Unmarkiert
Recording date 2019-06-17

Course

Theorie der Programmierung

Lecturer

Prof. Dr. Lutz Schröder

Via

IdM-login

Language

German

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Producer

MultiMediaZentrum

Format

lecture

Type

university lecture

Up next

15 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-24
IdM-login
16 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-27
IdM-login
17 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-01
IdM-login
18 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-04
IdM-login
19 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-08
IdM-login

More clips in this category "Technische Fakultät"

1 - Theorie der Programmierung
2025-04-23
IdM-login
protected  
1 - Computer Vision
2025-04-23
IdM-login
protected  
1 - Artificial Intelligence II
2025-04-24
Free
public  
1 - Einführung in Datenbanken
2025-04-23
Studon
protected  
1 - Organisatorisches
2025-04-17
IdM-login
protected  
13 - Halbleitertechnik III - Leistungshalbleiterbauelemente Übung (HL III - LBE) 2024/2025
2025-04-04
IdM-login
protected