Programming Systems Lab: Publications by Werner Nutt

Saarland University Computer Science

Select author:

1993

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


Webmaster, Mon May 30 13:48:30 2016