 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Calmet-Comon-Lugiez/88" |
|
Type inference using unification in computer algebra
J. Calmet, H. Comon, D. Lugiez
Proceedings of the 4th International Conference on Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra, AAECC'1986 (Karlsruhe, FRG, September 23-26, 1986)
Lecture Notes in Computer Science
307
, 1988, pp. 25-28
| Editors | Th. Beth, M. Clausen | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo | |
| URL: |
http://dx.doi.org/10.1007/BFb0039176 | |
|
|
|
|