Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain

Louise A. Dennis
, Alan Smaill

Formal Methods

Research output: Other contribution › peer-review

Original language	Undefined
DOIs	https://doi.org/10.1007/3-540-44755-5_14
Publication status	Published - 2001

Access to Document

10.1007/3-540-44755-5_14

Cite this