Wed, 02 Feb 2022 14:52:41 +0000 | Christian Urban | updated some of the text and cardinality proof | changeset | files |
Sun, 30 Jan 2022 23:37:29 +0000 | Chengsong | ha | changeset | files |
Sun, 30 Jan 2022 23:36:31 +0000 | Chengsong | blexer1 for size bound with strongDB | changeset | files |
Sun, 30 Jan 2022 21:21:24 +0000 | Christian Urban | more definitions in the paper | changeset | files |
Sun, 30 Jan 2022 01:03:26 +0000 | Christian Urban | updated | changeset | files |
Sat, 29 Jan 2022 23:53:21 +0000 | Christian Urban | updated | changeset | files |
Sat, 29 Jan 2022 16:43:51 +0000 | Christian Urban | added some recent papers | changeset | files |