]>
2019-11-19 | Ferruccio Guidi | λδ-2B is released | tree | commitdiff |
2019-11-18 | Ferruccio Guidi | update for the article | tree | commitdiff |
2018-05-03 | Ferruccio Guidi | notational update in lambdadelta completed | tree | commitdiff |
2017-01-22 | Ferruccio Guidi | - degree-based equivalene for terms | tree | commitdiff |
2014-08-05 | Ferruccio Guidi | - basic_2: reaxiomatized snv with improved cpds and... | tree | commitdiff |