Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 tr/ibm/IWBS168
%A Dörre, Jochen
%A Raasch, Ingo
%D 1991
%I IBM Germany Science Center, Institute for Knowledge Based Systems
%J IWBS Report
%K dblp
%T The Stuttgart Type Unification Formalism - User Manual
%V 168
@article{tr/ibm/IWBS168,
added-at = {2011-12-29T00:00:00.000+0100},
author = {Dörre, Jochen and Raasch, Ingo},
biburl = {https://www.bibsonomy.org/bibtex/2efa71a2cf6299f065e4502ffa75d79cd/dblp},
interhash = {4c4d73cac669aa69220c62ff985d8ca4},
intrahash = {efa71a2cf6299f065e4502ffa75d79cd},
journal = {IWBS Report},
keywords = {dblp},
publisher = {IBM Germany Science Center, Institute for Knowledge Based Systems},
timestamp = {2011-12-30T11:32:42.000+0100},
title = {The Stuttgart Type Unification Formalism - User Manual},
volume = 168,
year = 1991
}