]>
2012-05-10 | Wilmer Ricciotti | Progress. | tree | commitdiff |
2012-05-10 | Wilmer Ricciotti | Progress. | tree | commitdiff |
2012-05-09 | Wilmer Ricciotti | Progress. | tree | commitdiff |
2012-05-09 | Wilmer Ricciotti | Progress in compare.ma (some machines have been moved... | tree | commitdiff |
2012-05-08 | Wilmer Ricciotti | progress in turing/universal/compare.ma | tree | commitdiff |
2012-05-08 | Wilmer Ricciotti | Added compare auxiliary machine for universal turing... | tree | commitdiff |
2012-05-07 | Wilmer Ricciotti | progress | tree | commitdiff |
2012-05-07 | Andrea Asperti | Prove di terminazione | tree | commitdiff |
2012-05-04 | Wilmer Ricciotti | Forgotten in previous commit: move_char machines. | tree | commitdiff |