A Decidable Case of the Semi-Unification Problem

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Standard

A Decidable Case of the Semi-Unification Problem. / Henglein, Fritz; Leiss, Hans.

Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin : Springer, 1991. p. 318-327.

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Harvard

Henglein, F & Leiss, H 1991, A Decidable Case of the Semi-Unification Problem. in Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Springer, Berlin, pp. 318-327.

APA

Henglein, F., & Leiss, H. (1991). A Decidable Case of the Semi-Unification Problem. In Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520 (pp. 318-327). Springer.

Vancouver

Henglein F, Leiss H. A Decidable Case of the Semi-Unification Problem. In Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin: Springer. 1991. p. 318-327

Author

Henglein, Fritz ; Leiss, Hans. / A Decidable Case of the Semi-Unification Problem. Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin : Springer, 1991. pp. 318-327

Bibtex

@inbook{43963a6074d011dbbee902004c4f4f50,
title = "A Decidable Case of the Semi-Unification Problem",
abstract = "Datalogi",
author = "Fritz Henglein and Hans Leiss",
year = "1991",
language = "English",
pages = "318--327",
booktitle = "Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520",
publisher = "Springer",
address = "Switzerland",

}

RIS

TY - CHAP

T1 - A Decidable Case of the Semi-Unification Problem

AU - Henglein, Fritz

AU - Leiss, Hans

PY - 1991

Y1 - 1991

N2 - Datalogi

AB - Datalogi

M3 - Book chapter

SP - 318

EP - 327

BT - Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520

PB - Springer

CY - Berlin

ER -

ID: 291848