OXFORD UNIVERSITY COMPUTING LABORATORY

An algebra of scans

Hinze, Ralf

info

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

BibTeX

related pages

people

activities

Random Image
Random Image
Random Image