]>
2014-02-21 | Ferruccio Guidi | - main proposition on lsx finally proved! | blob | commitdiff | raw |
2014-02-16 | Ferruccio Guidi | - improved definition of lsx allows more invariants | blob | commitdiff | raw | diff to current |
2014-02-11 | Ferruccio Guidi | some advances on reduction | blob | commitdiff | raw | diff to current |
2014-01-27 | Ferruccio Guidi | some corrections ... | blob | commitdiff | raw | diff to current |
2014-01-13 | Ferruccio Guidi | some improvements on the relation lsx ... | blob | commitdiff | raw | diff to current |
2013-12-09 | Ferruccio Guidi | - first results on strongly normalizing local environments | blob | commitdiff | raw | diff to current |