Revision history for entry Beckmann, Arnold: A non-well-founded primitive recursive tree provably well-fo.. [BECANP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2020-08-25T15:48:05updateSystem / admin update
2019-02-06T22:32:46updateSystem / admin update
2015-03-21T19:34:20updateSystem / admin update
2015-02-07T13:40:37updateSystem / admin update
2014-03-14T21:11:46updateSystem / admin update
2014-01-21T05:44:42updateSystem / admin update
2013-11-23T23:43:29addSystem / admin update