Combinatory Models and Symbolic Computation (1992)
Cached
Download Links
- [lsirpeople.epfl.ch]
- [lsirpeople.epfl.ch]
- DBLP
Other Repositories/Bibliography
by
Karl Aberer
| Venue: | Lecture Notes in Computer Science , Springer Verlag 721 |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Aberer92combinatorymodels,
author = {Karl Aberer},
title = {Combinatory Models and Symbolic Computation},
booktitle = {Lecture Notes in Computer Science , Springer Verlag 721},
year = {1992}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Weintroduce an algebraic model of computation which is especially useful for the description of computations in analysis. On one level the model allows the representation of algebraic computation and on an other level approximate computation is represented.
