Sciweavers

LFCS
1992
Springer

Ordinal Arithmetic with List Structures

14 years 3 months ago
Ordinal Arithmetic with List Structures
Nachum Dershowitz, Edward M. Reingold
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where LFCS
Authors Nachum Dershowitz, Edward M. Reingold
Comments (0)