Explore projects
-
The course materials for the Lecture Logic Based Language Processing at FAU
Updated -
The problems for the lecture Logic Based Language Processing at FAU
Updated -
Updated
-
GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.
Updated -
-
-