Revision history for entry Voronkov, Andrei: The ground-negative fragment of first-order logic is πp2-com.. [VORTGF]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2017-04-23T10:23:20 | update | System / admin update |
2017-01-19T21:25:49 | update | System / admin update |
2016-06-30T12:28:57 | update | System / admin update |
2015-02-05T07:02:30 | update | System / admin update |
2014-03-28T11:14:47 | update | System / admin update |
2013-11-22T12:10:08 | update | System / admin update |
2013-11-04T09:21:13 | update | System / admin update |
loading ..