Type Systems for Computer Algebra
Dissertation, Fakultät für Informatik der Eberhard-Karls-Universität zu Tübingen, Juli 1993
Stichwörter: computer algebra, type systems
Bibtex
@PHDTHESIS{Weber93b, author = {Weber, Andreas}, title = {Type Systems for Computer Algebra}, type = {Dissertation}, year = {1993}, month = jul, school = {Fakult{\"a}t f{\"u}r Informatik der Eberhard-Karls-Universit{\"a}t zu T{\"u}bingen}, keywords = {computer algebra, type systems} }