Type Systems for Computer Algebra

Andreas Weber
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}
}