Term Rewriting Systems

From International Center for Computational Logic

Revision as of 20:32, 10 April 2022 by Oliver Fernandez Gil (talk | contribs) (Page created automatically by parser function on page Term Rewriting Systems (WS2022))

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

Term Rewriting Systems

Course with SWS 4/2/0 (lecture/exercise/practical) in WS 2021

Lecturer

Franz Baader

Tutor

Stefan Borgwardt

SWS

4/2/0

Modules

Examination method

Oral exam

Information

https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/31946539010

Retrieved from "https://iccl.inf.tu-dresden.de/w/index.php?title=Term_Rewriting_Systems_(WS2022)/en&oldid=36109"