Revision history for entry Litak, Tadeusz; Wolter, Frank (2005). "All finitely axiomatizable tense logics of linear time flows are CoNP-complete" [LITAFA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2015-02-06T00:03:26updateSystem / admin update -
2014-03-20T21:15:16updateSystem / admin update -
2014-01-23T00:04:40updateSystem / admin update -
2013-12-01T20:47:55updateSystem / admin update -
2009-12-08T15:55:37update