A Decidable Case of the Semi-Unification Problem

Fritz Henglein, Hans Leiss

5 Citations (Scopus)

Abstract

Datalogi
Original languageEnglish
Title of host publicationProc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520
Place of PublicationBerlin
PublisherSpringer
Publication date1991
Pages318-327
Publication statusPublished - 1991

Cite this