Programming Systems Lab: Publications by Franz Baader

Saarland University Computer Science

Select author:


On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations   (pdf)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
Journal of Logic, Language and Information

Login to edit

Legal notice, Privacy policy