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.
TimeTypeNotes
2019-12-31T19:47:00updateSystem / admin update
2016-12-08T21:35:35updateSystem / admin update
2016-02-12T04:06:52update
2015-02-06T05:03:02updateSystem / admin update
2014-03-19T14:11:00updateSystem / admin update
2014-01-23T05:04:44updateSystem / admin update
2013-12-02T01:48:20updateSystem / admin update
2012-01-11T22:26:07update
2012-01-11T22:25:54update
2012-01-11T22:25:38update