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
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