Browse by Authors and Editors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

Dennis, Louise Abigail and Smaill, Alan (2001) Ordinal Arithmetic: A Case Study for Rippling in a Higher Order Domain. In: 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001), 2001, Edinburgh, UK.

This list was generated on Wed Oct 22 16:23:09 2014 IST.