Revision history for entry Mints, Grigori (1993). "Resolution calculus for the first order linear logic" [MINRCF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2013-12-23T15:32:53updateSystem / admin update -
2013-12-01T16:11:49updateSystem / admin update -
2013-01-22T20:44:23updateSystem / admin update -
2013-01-22T20:44:23updateSystem / admin update -