Unification in the Combination of Disjoint Theories
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Standard
Unification in the Combination of Disjoint Theories. / Auer, Peter.
Unification in the Combination of Disjoint Theories. 1991. p. 177-186.
Unification in the Combination of Disjoint Theories. 1991. p. 177-186.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Harvard
Auer, P 1991, Unification in the Combination of Disjoint Theories. in Unification in the Combination of Disjoint Theories. pp. 177-186.
APA
Auer, P. (1991). Unification in the Combination of Disjoint Theories. In Unification in the Combination of Disjoint Theories (pp. 177-186)
Vancouver
Auer P. Unification in the Combination of Disjoint Theories. In Unification in the Combination of Disjoint Theories. 1991. p. 177-186
Author
Bibtex - Download
@inproceedings{e7e62c73ca0e4c60b40e85a91c22cc8b,
title = "Unification in the Combination of Disjoint Theories",
author = "Peter Auer",
year = "1991",
language = "English",
pages = "177--186",
booktitle = "Unification in the Combination of Disjoint Theories",
}
RIS (suitable for import to EndNote) - Download
TY - GEN
T1 - Unification in the Combination of Disjoint Theories
AU - Auer, Peter
PY - 1991
Y1 - 1991
M3 - Conference contribution
SP - 177
EP - 186
BT - Unification in the Combination of Disjoint Theories
ER -
