Vorlesung: Substrukturelle Logiken
Wintersemester 2000/1

Berndt Farwer


Folien (Teil 1) (z.Z. nur als Web-Präsentation)

Folien (Teil 2, Lineare Logik)

Folien (Teil 3, logische Programmierung, Parser)

Skript (Teil 1)

Literatur


B.Farwer
12/4/00