An algebra of scans
Ralf Hinze
Details
| Book 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
Related pages
|
People |
|
|
Activities |