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