Die vorliegende Dissertation befasst sich mit den logischen Grundlagen von constraint-basierten Grammatikformalismen und deren Modellierung auf einem Computer. Unter Modellierung auf einem Computer verstehen wir das ...