A Decidable Case of the Semi-Unification Problem
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
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. s. 318-327.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Harvard
Henglein, F & Leiss, H 1991, A Decidable Case of the Semi-Unification Problem. i Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Springer, Berlin, s. 318-327.
APA
Henglein, F., & Leiss, H. (1991). A Decidable Case of the Semi-Unification Problem. I Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520 (s. 318-327). Springer.
Vancouver
Henglein F, Leiss H. A Decidable Case of the Semi-Unification Problem. I Proc. 16th. Int.Symp. on Mathematical Foundations of Computer Science, LNCS 520. Berlin: Springer. 1991. s. 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