|
|
An algebra of scans
Hinze, Ralf infobook title | Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12—14, 2004 |
editor | Kozen, Dexter |
month | jul |
publisher | Springer |
series | LNCS |
volume | 3125 |
year | 2004 |
links
BibTeX
related pages
|
|
|
|
