Revision history for entry Blass, Andreas: An induction principle and pigeonhole principles for k-finite .. [BLAAIP]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2022-10-21T08:03:08 | update | System / admin update |
2019-05-14T13:41:07 | update | System / admin update |
2019-02-06T05:42:49 | update | System / admin update |
2016-06-30T13:11:03 | update | System / admin update |
2015-02-05T06:53:10 | update | System / admin update |
2014-04-02T13:16:51 | update | System / admin update |
2013-11-22T12:08:46 | update | System / admin update |
2013-11-04T09:23:50 | update | System / admin update |
loading ..