Revision history for entry Moser, Georg; Zach, Richard: The epsilon calculus and herbrand complexity [MOSTEC]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-31T19:47:00 | update | System / admin update |
2016-12-08T21:35:35 | update | System / admin update |
2016-02-12T04:06:52 | update | |
2015-02-06T05:03:02 | update | System / admin update |
2014-03-19T14:11:00 | update | System / admin update |
2014-01-23T05:04:44 | update | System / admin update |
2013-12-02T01:48:20 | update | System / admin update |
2012-01-11T22:26:07 | update | |
2012-01-11T22:25:54 | update | |
2012-01-11T22:25:38 | update | |
loading ..