]>
2012-05-02 | Wilmer Ricciotti | Added weak realizability. | blob | commitdiff | raw |
2012-04-30 | Wilmer Ricciotti | More proofs in if-then-else machine. | blob | commitdiff | raw | diff to current |
2012-04-30 | Andrea Asperti | Le configurazioni sono definite non su macchine ma... | blob | commitdiff | raw | diff to current |
2012-04-30 | Andrea Asperti | Definition of accRealize | blob | commitdiff | raw | diff to current |
2012-04-30 | Andrea Asperti | If machine | blob | commitdiff | raw | diff to current |
2012-04-30 | Wilmer Ricciotti | Monotape turing machines update. | blob | commitdiff | raw | diff to current |
2012-04-27 | Wilmer Ricciotti | more loop proofs | blob | commitdiff | raw | diff to current |
2012-04-27 | Wilmer Ricciotti | loop functions | blob | commitdiff | raw | diff to current |
2012-04-27 | Andrea Asperti | loop functions | blob | commitdiff | raw | diff to current |
2012-04-27 | Andrea Asperti | Mono tape turing machines | blob | commitdiff | raw | diff to current |