]>
2012-04-30 | Andrea Asperti | Definition of accRealize | tree | commitdiff |
2012-04-30 | Andrea Asperti | If machine | tree | commitdiff |
2012-04-30 | Wilmer Ricciotti | Monotape turing machines update. | tree | commitdiff |
2012-04-27 | Wilmer Ricciotti | more loop proofs | tree | commitdiff |
2012-04-27 | Wilmer Ricciotti | loop functions | tree | commitdiff |
2012-04-27 | Andrea Asperti | loop functions | tree | commitdiff |
2012-04-27 | Andrea Asperti | Mono tape turing machines | tree | commitdiff |
2012-04-24 | Wilmer Ricciotti | Update to universal turing machine (preliminaries). | tree | commitdiff |
2012-04-24 | Wilmer Ricciotti | More turing machines (still not compiling) | tree | commitdiff |
2012-04-24 | Wilmer Ricciotti | Started converting informal definition of the machines... | tree | commitdiff |
2012-04-23 | Wilmer Ricciotti | Added universal turing machines (only comments for... | tree | commitdiff |
2012-04-13 | Andrea Asperti | Definition of complexity | tree | commitdiff |
2012-04-04 | Andrea Asperti | Added in basics | tree | commitdiff |