Revision history for entry Ajspur, M.; Goranko, V.; Shkatov, D.: Tableau-based decision procedure for the.. [AJSTDP]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2018-04-20T18:20:22 | update | |
2018-04-20T18:20:22 | update | |
2018-04-20T18:20:21 | update | |
2018-04-20T18:20:21 | update | Local copy uploaded (view this copy) |
2017-06-22T10:45:06 | update | System / admin update |
2017-01-16T22:13:03 | update | System / admin update |
2016-06-30T14:46:27 | update | System / admin update |
2016-06-30T13:20:17 | add | System / admin update |
loading ..