Sciweavers

AML
2002

A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets

13 years 11 months ago
A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets
Arnold Beckmann
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2002
Where AML
Authors Arnold Beckmann
Comments (0)