Revision history for entry Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael: Undecidability of firs.. [KONUOF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2022-10-21T08:38:16updateSystem / admin update
2021-03-26T14:41:46updateSystem / admin update
2019-05-05T16:21:32updateSystem / admin update
2019-02-06T23:15:09updateSystem / admin update
2016-06-30T12:24:52updateSystem / admin update
2015-02-06T03:11:24updateSystem / admin update
2014-03-20T09:01:38updateSystem / admin update
2013-11-02T22:31:14updateSystem / admin update
2013-10-30T15:13:15updateSystem / admin update
2010-09-29T22:41:33updateSystem / admin update