Revision history for entry Shavrukov, V. Yu: The lindenbaum fixed point algebra is undecidable [SHATLF]
NB: for privacy reasons, few details are provided in public revision histories.
Time | Type | Notes |
2019-12-06T16:58:02 | update | System / admin update |
2019-11-26T17:52:25 | update | System / admin update |
2019-02-06T19:37:37 | update | System / admin update |
2015-02-06T05:09:03 | update | System / admin update |
2014-04-07T03:41:22 | update | System / admin update |
2013-12-02T01:45:51 | update | System / admin update |
2013-01-12T20:51:11 | update | System / admin update |
2013-01-12T20:51:11 | update | System / admin update |
loading ..