2011-09-01 | urbanc | solved the SUBSEQ/SUPSEQ problem | changeset | files |
2011-08-30 | urbanc | added a further test | changeset | files |
2011-08-26 | urbanc | corrected typo | changeset | files |
2011-08-26 | urbanc | added a few points | changeset | files |
2011-08-25 | urbanc | a few bits on the journal paper | changeset | files |
2011-08-25 | urbanc | shown slides | changeset | files |
2011-08-25 | urbanc | final polishing | changeset | files |
2011-08-24 | urbanc | added pdf of slides | changeset | files |
2011-08-24 | urbanc | final slides | changeset | files |
2011-08-24 | urbanc | more slides | changeset | files |
2011-08-24 | urbanc | more on slides | changeset | files |
2011-08-24 | urbanc | just test | changeset | files |
2011-08-23 | urbanc | added test for Higman's lemma | changeset | files |
2011-08-23 | urbanc | more on slides | changeset | files |
2011-08-23 | urbanc | more on the slides | changeset | files |
Loading... |