Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

A Decidable Case of the Semi-Unification Problem

CIS-Bericht-91-43

Authors/Editors: Fritz Henglein
Publication Date: 1991
Type of Publication: Veröffentlichungen in der Reihe CIS-Berichte