Revision history for entry Braüner, Torben: Proof-theoretic functional completeness for the hybrid logics.. [BRAPFC]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-31T17:54:57 | update | System / admin update |
2016-12-08T20:59:05 | update | System / admin update |
2015-02-06T05:03:26 | update | System / admin update |
2014-03-21T01:18:37 | update | System / admin update |
2014-01-23T05:04:40 | update | System / admin update |
2013-12-02T01:48:10 | update | System / admin update |
loading ..