2022-03-30 | Christian Urban | made paper changes after ITP comments | file | diff | annotate |
2022-03-23 | Christian Urban | updated | file | diff | annotate |
2022-03-23 | Christian Urban | updated | file | diff | annotate |
2022-03-22 | Christian Urban | updated | file | diff | annotate |
2022-03-22 | Christian Urban | updated paper | file | diff | annotate |
2022-03-22 | Christian Urban | updated paper | file | diff | annotate |
2022-03-22 | Christian Urban | updated | file | diff | annotate |
2022-03-21 | Christian Urban | updated paper | file | diff | annotate |
2022-03-02 | Christian Urban | updated | file | diff | annotate |
2022-02-09 | Christian Urban | updated | file | diff | annotate |
2022-02-09 | Christian Urban | updated paper | file | diff | annotate |
2022-02-09 | Christian Urban | updated | file | diff | annotate |
2022-02-08 | Christian Urban | updated paper | file | diff | annotate |
2022-02-07 | Christian Urban | updated | file | diff | annotate |
2022-02-07 | Christian Urban | more of the paper | file | diff | annotate |
2022-02-06 | Christian Urban | more with the paper | file | diff | annotate |
2022-02-04 | Christian Urban | updated papers | file | diff | annotate |
2022-02-02 | Christian Urban | updated some of the text and cardinality proof | file | diff | annotate |
2022-01-30 | Christian Urban | more definitions in the paper | file | diff | annotate |
2022-01-30 | Christian Urban | updated | file | diff | annotate |
2022-01-29 | Christian Urban | updated | file | diff | annotate |
2022-01-28 | Christian Urban | updated | file | diff | annotate |
2022-01-27 | Christian Urban | updated Sizebound4 | file | diff | annotate |
2022-01-25 | Christian Urban | added ITP paper | file | diff | annotate |
2021-10-10 | Chengsong | for new journal/conf paper! | file | diff | annotate |