## Ordinal arithmetic with list structures (1992)

### Cached

### Download Links

- [www.math.tau.ac.il]
- [www-sal.cs.uiuc.edu]
- DBLP

### Other Repositories/Bibliography

by
Nachum Dershowitz
,
Edward M. Reingold

Venue: | In Logical Foundations of Computer Science |

Citations: | 5 - 0 self |