Revision history for entry Studer, Thomas (2008). "On the proof theory of the modal mu-calculus" [STUOTP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-03-14T03:56:01updateSystem / admin update -
2014-01-23T00:05:21updateSystem / admin update -
2013-12-01T20:48:50updateSystem / admin update -