Sciweavers

AML
2002
50views more  AML 2002»

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

15 years 2 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)