A Decidable Case of the Semi-Unification Problem

Fritz Henglein, Hans Leiss

5 Citationer (Scopus)

Abstract

Datalogi
OriginalsprogEngelsk
TitelProc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520
UdgivelsesstedBerlin
ForlagSpringer
Publikationsdato1991
Sider318-327
StatusUdgivet - 1991

Citationsformater